arxiv:2602.20629
Edward Zhang
EdwardLZhang
ยท
AI & ML interests
None yet
Recent Activity
upvoted a paper about 1 month ago
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs authored a paper about 1 month ago
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs