José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Formal verification of machine learning models in Lean. ~ Matéo H. Petel. github.com/fraware/leanverifie

Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4. - fraware/leanverifier

GitHub - fraware/leanverifier: Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of 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. - fraware/leanverifier

github.com · GitHub

0
0
0

If you have a fediverse account, you can quote this note from your own instance. Search https://mathstodon.xyz/users/Jose_A_Alonso/statuses/114216746367212401 on your instance and quote it. (Note that quoting is not supported in Mastodon.)