Scaling Generative Verifiers For Natural Language Mathematical Proof Verification And Selection
Scaled GenSelect and LLM-as-a-Judge to millions of tokens, enhancing math proof verification.
Sadegh Mahdavi, Branislav Kisacanin, Shubham Toshniwal et al.