QEDBench: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs

Gonzalez S., Bavandpour A. A., Ye P., Zhang E., Aleksejevs R., Antic T., ...More

ICML 2026 AI4Math Workshop Poster, Seul, South Korea, 6 - 11 July 2026, (Full Text)

  • Publication Type: Conference Paper / Full Text
  • Doi Number: 10.48550/arxiv.2602.20629
  • City: Seul
  • Country: South Korea
  • Bursa Uludag University Affiliated: Yes