PrototypeCommon
kfdong/STP
The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
- Owner
- kfdong (personal account)
- Stars
- Stars: 123
- Forks
- Forks: 12
- Language
- Python
- License
- MIT
- Created
- 2025
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Python
All Python repos- ant-intl/BizAgentBenchStars: 123PythonPrototype
- danisiber/rom-cliStars: 123PythonPrototype
- xx20050823xx/McMateStars: 123PythonPrototype
- zhaque/django-saas-kitStars: 123PythonPrototype
- jtauber/sebastianStars: 123PythonPrototype
- toddlipcon/gremlinsStars: 123PythonPrototype