QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
Paper
• 2602.20629 • Published
• 1
Jing Guo
hedgehog0
·
AI & ML interests
AI for Mathematics, theoretical computer science, and extremal combinatorics
Recent Activity
authored
a paper
1 day ago
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs liked
a dataset 1 day ago
qqggez/QEDBench Organizations
None yet
authored a paper 1 day ago