A proxy-judge framework for autoformalization organizes checks into three structural scopes to produce a verdict vector that drives targeted refinement, with geometric contraction of the intrinsic gap under bounded judge noise.
and Freitas, Andr
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Reasoning without Gold Standards: A Proxy-Judge Theory of Autoformalization
A proxy-judge framework for autoformalization organizes checks into three structural scopes to produce a verdict vector that drives targeted refinement, with geometric contraction of the intrinsic gap under bounded judge noise.