fraware / leanverifier
Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.
☆58Updated last month
Alternatives and similar repositories for leanverifier:
Users that are interested in leanverifier are comparing it to the libraries listed below
- a categorical deep learning compiler☆199Updated last month
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆61Updated 3 months ago
- A star for organising blocks and playing with transformers.☆23Updated 11 months ago
- ☆51Updated 10 months ago
- A probabilistic approximate DNF counter☆36Updated last year
- Interpolate between embedding points with llm☆36Updated 9 months ago
- Brzozowski derivative python sketch☆85Updated 2 weeks ago
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆29Updated last year
- This is a numpy implementation of the Skip-gram algorithm described in Mikolov et al's Word2Vec paper. It is intended for didactic purpos…☆35Updated last year
- A Low Barrier Proof Assistant☆108Updated last week
- A GPU Accelerated Binary Vector Store☆47Updated 2 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆33Updated 7 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆60Updated 8 months ago
- A text-to-SQL prototype on the northwind sqlite dataset☆12Updated 6 months ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- This package implements 1D and 2D blood flow models for arterial circulation using Trixi.jl, enabling efficient numerical simulation and …☆38Updated 2 weeks ago
- ☆34Updated 3 months ago
- How to read Lean☆17Updated 2 months ago
- Visual inference exploration & experimentation playground☆90Updated 4 months ago
- Formalizing stochastic doubly-efficient debate☆101Updated 6 months ago
- Your AI research assistant☆78Updated 3 weeks ago
- ☆53Updated 4 years ago
- ☆76Updated 4 months ago
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆202Updated 7 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 5 months ago
- Training GPTs to solve interaction nets☆17Updated 8 months ago
- Heirarchical Navigable Small Worlds☆95Updated last week
- fractal-structure inspired, parent-children orbiting, zooming-elements based interactive graph visualization user interface☆129Updated last month
- ZSV Utility for converting json to/from zip-separated-values☆56Updated 10 months ago