leanverifier
Lean 4 framework for specifying and proving properties of machine learning models, such as robustness, fairness and interpretability.
Open sourceResearch & Education
Visit website(opens in a new tab)
Lean 4 framework for specifying and proving properties of machine learning models, such as robustness, fairness and interpretability.