← Explore by area

Cluster 652593

3 repos

Jupyter Notebook · 2

Python · 1

Related clusters

Neural Theorem Proving with Language Models9 Cluster 6524466 Cluster 6376972 Cluster 6584842 Cluster 6599582

matt-seb-ho/gfn_ntp

No description

Jupyter Notebook

9

276 commits

wellecks/ntptutorial

Tutorial on neural theorem proving

Jupyter Notebook

179

5 commits

wellecks/naturalproofs

NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)

Python

139

4 commits