# wellecks/ntptutorial

<https://repo.masters-masters.com/en/repos/wellecks/ntptutorial>

[Home](https://repo.masters-masters.com/en) › [wellecks](https://repo.masters-masters.com/en/owners/wellecks) › [ntptutorial](https://repo.masters-masters.com/en/repos/wellecks/ntptutorial)

wellecks/ntptutorial has 179 stars on GitHub. Its RepoMasters card: Prototype tier. Tutorial on neural theorem proving Language: Jupyter Notebook.

| Field | Value |
| --- | --- |
| Owner | [wellecks](https://repo.masters-masters.com/en/owners/wellecks) |
| Stars | 179 |
| Forks | 16 |
| Language | [Jupyter Notebook](https://repo.masters-masters.com/en/languages/jupyter-notebook) |
| License | MIT |
| Created | 2023 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [wellecks/ntptutorial](https://github.com/wellecks/ntptutorial) |

## Repository

Tutorial on neural theorem proving

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by wellecks

- [wellecks/llmstep · ★ 156 · Python · Prototype](https://repo.masters-masters.com/en/repos/wellecks/llmstep)
- [wellecks/naturalproofs · ★ 138 · Python · Prototype](https://repo.masters-masters.com/en/repos/wellecks/naturalproofs)

## Nearby in Jupyter Notebook

- [phyworld/phyworld · ★ 179 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/phyworld/phyworld)
- [zhenyu-02/LogitLens4LLMs · ★ 179 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/zhenyu-02/LogitLens4LLMs)
- [ToyotaResearchInstitute/diffmpc · ★ 179 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/ToyotaResearchInstitute/diffmpc)
- [mgroncki/IPythonScripts · ★ 179 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/mgroncki/IPythonScripts)
- [matthias-k/pysaliency · ★ 179 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/matthias-k/pysaliency)
- [gy20073/compact\_bilinear\_pooling · ★ 179 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/gy20073/compact_bilinear_pooling)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.