PrototypeCommon
wellecks/ntptutorial
Tutorial on neural theorem proving
- Owner
- wellecks (personal account)
- Stars
- Stars: 179
- Forks
- Forks: 16
- Language
- Jupyter Notebook
- License
- MIT
- Created
- 2023
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by wellecks
All 3 repos by wellecks- wellecks/llmstepStars: 156PythonPrototype
- wellecks/naturalproofsStars: 138PythonPrototype
Nearby in Jupyter Notebook
All Jupyter Notebook repos- phyworld/phyworldStars: 179Jupyter NotebookPrototype
- zhenyu-02/LogitLens4LLMsStars: 179Jupyter NotebookPrototype
- ToyotaResearchInstitute/diffmpcStars: 179Jupyter NotebookPrototype
- mgroncki/IPythonScriptsStars: 179Jupyter NotebookPrototype
- matthias-k/pysaliencyStars: 179Jupyter NotebookPrototype
- gy20073/compact_bilinear_poolingStars: 179Jupyter NotebookPrototype