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., ...Daha Fazla

ICML 2026 AI4Math Workshop Poster, Seul, Güney Kore, 6 - 11 Temmuz 2026, (Tam Metin Bildiri)

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Doi Numarası: 10.48550/arxiv.2602.20629
  • Basıldığı Şehir: Seul
  • Basıldığı Ülke: Güney Kore
  • Bursa Uludağ Üniversitesi Adresli: Evet