Monotonic Reference-Free Refinement for Autoformalization
arXiv:2601.23166v2 Announce Type: replace
Abstract: While statement autoformalization has advanced rapidly, full-theorem autoformalization remains largely unexplored. Existing iterative refinement methods in statement autoformalization typically impro…