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…
math.NT2018
On a Modification of the Agrawal-Biswas Primality Test
Hyun Jong Kim
We present a variant of the Agrawal-Biswas algorithm, a Monte Carlo algorithm which tests the primality of an integer by checking whether or not and are equ…