Peter Ye

Undergrad student, Mathematics, Yale University

Joined

January 2026

Names

Peter Ye (Preferred)

Emails

****@yale.edu (Confirmed)

Personal Links

Career & Education History

Undergrad student

Mathematics, Yale University (yale.edu)

2022 – 2026

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

QEDBench: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
Wenqi Ni, Santiago Gonzalez, Alireza Amiri Bavandpour, 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 István Encz, Yuchen Fang, Robert Joseph George, Ebrahim Ghorbani, Alan Goldfarb, Jing Guo et al. (31 additional authors not shown)
- OpenReview Archive Direct Upload
- Readers: Everyone
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 Antić, Polina Baron, Sujeet Bhalerao, Shubhrajit Bhattacharya, Zachary Burton, John Byrne, Hyungjun Choi, Nujhat Ahmed Disha, Koppány István Encz, Yuchen Fang, Robert Joseph George, Ebrahim Ghorbani, Alan Goldfarb, Jing Guo, Meghal Gupta et al. (31 additional authors not shown)
- ICML 2026 AI4Math Workshop Poster
- Readers: Everyone

Co-Authors

View all 50 co-authors