QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs. - Santiago Gonzalez; Alireza Amiri Bavandpour; Peter Ye; Edward Zhang; Ruslans Aleksejevs; Todor Antic; Polina Baron; Sujeet Bhalerao; Shubhrajit Bhattacharya; Zachary Burton; John Byrne; Hyungjun Choi; et al. (CoRR, 2026)