Fixing math proofs without perfect answers to compare against

Original: Reasoning without Gold Standards: A Proxy-Judge Theory of Autoformalization

Source: arxiv.org ↗