fraware / leanverifierLinks

Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.
62Updated 2 months ago

Alternatives and similar repositories for leanverifier

Users that are interested in leanverifier are comparing it to the libraries listed below

Sorting: