A monotonic reference-free iterative process for full-theorem autoformalization simultaneously improves formal validity, logical preservation, mathematical consistency, and formal quality, reaching 100% formal validity on miniF2F.
cc/paper_files/paper/2020/file/ 6b493230205f780e1bc26945df7481e5-Paper
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CL 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Monotonic Reference-Free Refinement for Autoformalization
A monotonic reference-free iterative process for full-theorem autoformalization simultaneously improves formal validity, logical preservation, mathematical consistency, and formal quality, reaching 100% formal validity on miniF2F.