TY  - RPRT
TI  - QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
AU  - Santiago Gonzalez
AU  - Alireza Amiri Bavandpour
AU  - Peter Ye
AU  - Edward Zhang
AU  - Ruslans Aleksejevs
AU  - Todor Antić
AU  - Polina Baron
AU  - Sujeet Bhalerao
AU  - Shubhrajit Bhattacharya
AU  - Zachary Burton
AU  - John Byrne
AU  - Hyungjun Choi
AU  - Nujhat Ahmed Disha
AU  - Koppany István Encz
AU  - Yuchen Fang
AU  - Robert Joseph George
AU  - Ebrahim Ghorbani
AU  - Alan Goldfarb
AU  - Jing Guo
AU  - Meghal Gupta
AU  - Stefano Huber
AU  - Annika Kanckos
AU  - Minjung Kang
AU  - Hyun Jong Kim
AU  - Dino Lorenzini
AU  - Levi Lorenzo
AU  - Tianyi Mao
AU  - Giovanni Marzenta
AU  - Ariane M. Masuda
AU  - Lukas Mauth
AU  - Ana Mickovic
AU  - Andres Miniguano-Trujillo
AU  - Antoine Moulin
AU  - Wenqi Ni
AU  - Tomos Parry
AU  - Kevin Ren
AU  - Hossein Roodbarani
AU  - Mathieu Rundström
AU  - Manjil Saikia
AU  - Detchat Samart
AU  - Rebecca Steiner
AU  - Connor Stewart
AU  - Dhara Thakkar
AU  - Jeffrey Tse
AU  - Vasiliki Velona
AU  - Yunhai Xiang
AU  - Sibel Yalçın
AU  - Jun Yan
AU  - Ji Zeng
AU  - Arman Cohan
AU  - Quanquan C. Liu
PY  - 2026
UR  - https://arxiv.org/abs/2602.20629
ID  - 2602.20629
ER  -