一作ICML 2026Poster· Deep Learning / Large Language Models
Scaling Generative Verifiers For Natural Language Mathematical Proof Verification And Selection
Sadegh Mahdavi · Branislav Kisacanin · Shubham Toshniwal · Wei Du · Ivan Moshkov · George Armstrong · Renjie Liao · Christos Thrampoulidis · Igor Gitman