Formal Math Autoformalization Dataset
收藏Zenodo2026-06-24 更新2026-06-28 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.20827982
下载链接
链接失效反馈官方服务：
资源简介：
Snapshot of machine-checked natural-language ↔ Lean 4 formalizations (92 verified pairs). Every pair compiles against a pinned Mathlib and passes a faithfulness check. Living dataset: https://huggingface.co/datasets/AgenticCommons/formal-math-autoformalization
提供机构：
Zenodo创建时间：
2026-06-24
