2 papers
cs.LG2026
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
Santiago Gonzalez, Alireza Amiri Bavandpour, Peter Ye +48
As Large Language Models (LLMs) saturate elementary benchmarks, the research frontier has shifted from generation to the reliability of automated evaluation. We demonstrate that st…
cs.CG2026
How many times can two minimum spanning trees cross?
Todor Antić, Morteza Saghafian, Maria Saumell +3
Let be a generic set of points in the plane, and let be a coloring of in two colors. We are interested in the number of crossings between the minimum spanni…