AlphaPeu commune
dselsam/certigrad
Bug-free machine learning on stochastic computation graphs
- Propriétaire
- dselsam (compte personnel)
- Étoiles
- Étoiles : 404
- Forks
- Forks : 36
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2017
- Sujets
- machine-learningtheorem-provingleanverification
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de dselsam
Les 2 dépôts de dselsam- dselsam/neurosatÉtoiles : 299PythonAlpha
D’autres dépôts Lean
Tous les dépôts Lean- digama0/mm0Étoiles : 422LeanAlpha
- leanprover-community/aesopÉtoiles : 413LeanAlpha
- leanprover/versoÉtoiles : 405LeanAlpha
- leanprover-community/NNG4Étoiles : 387LeanAlpha
- AlexKontorovich/PrimeNumberTheoremAndÉtoiles : 351LeanAlpha
- verse-lab/veilÉtoiles : 350LeanAlpha