AlphaUncommon
dselsam/certigrad
Bug-free machine learning on stochastic computation graphs
- Owner
- dselsam (personal account)
- Stars
- Stars: 404
- Forks
- Forks: 36
- Language
- Lean
- License
- Apache-2.0
- Created
- 2017
- Topics
- machine-learningtheorem-provingleanverification
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by dselsam
All 2 repos by dselsam- dselsam/neurosatStars: 299PythonAlpha
Nearby in Lean
All Lean repos- digama0/mm0Stars: 422LeanAlpha
- leanprover-community/aesopStars: 413LeanAlpha
- leanprover/versoStars: 405LeanAlpha
- leanprover-community/NNG4Stars: 387LeanAlpha
- AlexKontorovich/PrimeNumberTheoremAndStars: 351LeanAlpha
- verse-lab/veilStars: 350LeanAlpha