arXiv2Formal is a dataset of theorems from arXiv papers formalized in Lean. See our paper A New Approach Towards Autoformalization.
Downloads
Pilot study of our dataset with 50 theorems.
News
- 2023/10/25: We have released a pilot study of our arXiv2Formal dataset here.
- 2023/10/12: Our paper A New Approach Towards Autoformalization released.