QEDBench: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
Santiago Gonzalez · Alireza Amiribavandpour · Peter Ye · Edward Zhang · Ruslans Aleksejevs · Todor Antić · Polina Baron · Sujeet Bhalerao · Shubhrajit Bhattacharya · Zachary Burton · John Byrne · Hyungjun Choi · Nujhat Ahmed Disha · Koppány I Encz · Yuchen Fang · Robert Joseph George · Ebrahim Ghorbani · Alan Goldfarb · Jing Guo · Meghal Gupta · Stefano Huber · Annika Kanckos · Minjung Kang · Hyun Jong Kim · Dino Lorenzini · Levi Lorenzo · Tianyi Mao · Giovanni Marzenta · Ariane Masuda · Lukas Mauth · Ana Mickovic · Andrés Miniguano-Trujillo · Antoine Moulin · Wenqi Ni · Tomos Parry · Kevin Ren · Hossein Roodbarani · Mathieu Rundström · Manjil Saikia · Detchat Samart · Rebecca Steiner · Connor Stewart · Dhara Thakkar · Jeffrey Tse · Vasiliki Velona · Yunhai Xiang · Sibel Yalçın · Jun Yan · Ji Zeng · Arman Cohan · Quanquan Liu