PrototypeCommune
kfdong/STP
The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
- Propriétaire
- kfdong (compte personnel)
- Étoiles
- Étoiles : 123
- Forks
- Forks : 12
- Langage
- Python
- Licence
- MIT
- Création
- 2025
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Python
Tous les dépôts Python- ant-intl/BizAgentBenchÉtoiles : 123PythonPrototype
- danisiber/rom-cliÉtoiles : 123PythonPrototype
- xx20050823xx/McMateÉtoiles : 123PythonPrototype
- zhaque/django-saas-kitÉtoiles : 123PythonPrototype
- jtauber/sebastianÉtoiles : 123PythonPrototype
- toddlipcon/gremlinsÉtoiles : 123PythonPrototype