naturalproofs
Python
★ 137
updated 3y ago
NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
No plain-English explanation yet — one is being written right now. Check back in a minute.