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.
Dummit-Foote exercise 1 1 20
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.