PrototypeCommon
wellecks/naturalproofs
NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
- Owner
- wellecks (personal account)
- Stars
- Stars: 138
- Forks
- Forks: 12
- Language
- Python
- License
- MIT
- Created
- 2021
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by wellecks
All 3 repos by wellecks- wellecks/ntptutorialStars: 179Jupyter NotebookPrototype
- wellecks/llmstepStars: 156PythonPrototype
Nearby in Python
All Python repos- PedroMarinhoDev/ComfyUI-Drama3Stars: 138PythonPrototype
- jerryhan1201-debug/maimen-intelStars: 138PythonPrototype
- kostemeloo413-ux/v7-investment-workbenchStars: 138PythonPrototype
- dustin/bindirStars: 138PythonPrototype
- dozercodes/DecisionTreeStars: 138PythonPrototype
- brentp/cruzdbStars: 138PythonPrototype