naturalproofs
naturalproofs copied to clipboard
wellecks
NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
The links from `download.py` don't work: https://drive.google.com/uc?id=1vgohULQD7HfbotskkVX4li9YanIeG3u1 https://drive.google.com/uc?id=1OCIvcCyKTyRJeV7QiHdtQQhPJ6QknMpV https://drive.google.com/uc?id=1uIBeI7fw5vJBhDOl2WL3SbXWmzHgfK3W https://drive.google.com/uc?id=178UxFLXOYH9CeIRkMcAWm_DJ3omI_eik Each one shows a 404 when opened in a web browser.
Dear authors, Recently I come across your dataset and found it very interesting and valuable. I'd like to ask is there any latex version of the theorem and proofs? TBD,...
