QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
Paper • 2602.20629 • Published • 4
Jing Guo PRO
hedgehog0
AI & ML interests
AI for Mathematics, theoretical computer science, and extremal combinatorics
Recent Activity
liked a dataset 10 days ago
tiny-aya-math-edition/math-bench liked a model 13 days ago
mistralai/Leanstral-2603 liked a dataset 16 days ago
SAIRfoundation/equational-theories-selected-problemsOrganizations
authored a
paper 27 days ago