0

Koppany István Encz

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

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

arXiv 2026

2026

Affiliations

No known affiliations.

Frequent co-authors

10

from 1 papers

Alan Goldfarb

1 shared paper

Alireza Amiri Bavandpour

1 shared paper

Ana Mickovic

1 shared paper

Andres Miniguano-Trujillo

1 shared paper

Annika Kanckos

1 shared paper

Antoine Moulin

1 shared paper

Ariane M. Masuda

1 shared paper

Arman Cohan

1 shared paper

Connor Stewart

1 shared paper

Detchat Samart

1 shared paper