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