PrototypeCommune
wellecks/naturalproofs
NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
- Propriétaire
- wellecks (compte personnel)
- Étoiles
- Étoiles : 138
- Forks
- Forks : 12
- Langage
- Python
- Licence
- MIT
- Création
- 2021
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de wellecks
Les 3 dépôts de wellecks- wellecks/ntptutorialÉtoiles : 179Jupyter NotebookPrototype
- wellecks/llmstepÉtoiles : 156PythonPrototype
D’autres dépôts Python
Tous les dépôts Python- zai-org/zcode-pluginsÉtoiles : 138PythonPrototype
- UniWAM/UniWAMÉtoiles : 138PythonPrototype
- jerryhan1201-debug/maimen-intelÉtoiles : 138PythonPrototype
- dustin/bindirÉtoiles : 138PythonPrototype
- dozercodes/DecisionTreeÉtoiles : 138PythonPrototype
- brentp/cruzdbÉtoiles : 138PythonPrototype