Zhizhuo Yang

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems

The first fully automated framework that synthesizes high-quality, proof-centric benchmarks from natural language mathematical corpora and a new type of hybrid-formatted questions, named ``$m$-out-of-$n$ multiple judge questions'', specifically designed to enable robust, automatic evaluation while being resilient to guessing and superficial pattern matching inherent in traditional formats are proposed.