Formal Verification for Machine Learning Models Using Lean 4
Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.
LibraryOpen source
Reactions (1)
Similar products
by description similarity
Rewriting Principia Mathematica in Lean
Mthds
mthds.aiBeyond skills: a typed DSL for executable AI methods
An educational Rust project for exporting and running inference on Qwen3 LLM family
val
github.comAn arbitrary precision calculator language
Algebruh
github.comCross-check arithmetic claims with Z3, cvc5, and Lean