PrototypeCommune
zhaoyu-li/DL4TP
[COLM 2024] A Survey on Deep Learning for Theorem Proving
- Propriétaire
- zhaoyu-li (compte personnel)
- Étoiles
- Étoiles : 231
- Forks
- Forks : 16
- Langage
- Sans langage
- Licence
- MIT
- Création
- 2024
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang