jlab-nlp / arxiv2formal Public

Notifications You must be signed in to change notification settings
Fork 0
Star 5

Arxiv2formal dataset for formalized math

5 stars 0 forks Branches Tags Activity

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
README.md		README.md
arxiv2formal.csv		arxiv2formal.csv

Repository files navigation

arXiv2Formal

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.