3 repos
matt-seb-ho/gfn_ntp
No description
9
276 commits
wellecks/ntptutorial
Tutorial on neural theorem proving
180
5 commits
wellecks/naturalproofs
NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
138
4 commits
