Formal Math Autoformalization Dataset
收藏官方服务：
资源简介：
Snapshot of machine-checked natural-language ↔ Lean 4 formalizations (711 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-07-11
