Hyun Jong Kim

Postdoc, Mathematics, University of Western Ontario

Joined

January 2026

Names

Hyun Jong Kim (Preferred)

Emails

****@uwo.ca (Confirmed)

,

****@gmail.com (Confirmed)

Personal Links

Career & Education History

Postdoc

Mathematics, University of Western Ontario (uwo.ca)

2024 – Present

PhD student

Mathematics, University of Wisconsin - Madison (wisc.edu)

2018 – 2024

Undergrad student

Mathematics, Massachusetts Institute of Technology (mit.edu)

2014 – 2018

Advisors, Relations & Conflicts

Postdoc Advisor

Chris Hall

2024 – Present

PhD Advisor

Jordan Ellenberg

2018 – 2024

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