wellecks / naturalproofs

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

wellecks/naturalproofs Stargazers