Verified Deep Learning with Lean 4

Similar products

by description similarity

1. Formal Verification for Machine Learning Models Using Lean 4

   github.com

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

   HNHacker News52 pts

2. TinyGPT

   github.com

   A Simple, Educational Deep Learning Library

   HNHacker News13 pts

3. Deep learning without gradient descent, 500 layers, no skip connections

   github.com

   Code that reproduces experiments from a scientific paper

   HNHacker News5 pts

4. Artifice

   sotai.ai

   Making Machine Learning Transparent and Accessible

   HNHacker News8 pts

5. Viveka

   github.com

   filter LLM output against a Lean-verified Advaita Vedanta model

   HNHacker News7 pts