9 citations · 9 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.AI2024★ 9 cited
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Elliot Glazer, Ege Erdil, Tamay Besiroglu +21
We introduce FrontierMath, a benchmark of hundreds of original, exceptionally challenging mathematics problems crafted and vetted by expert mathematicians. The questions cover most…
math.LO2024
Global choice is not conservative over local choice for Zermelo set theory
Elliot Glazer
We prove that Global Choice is not conservative over ZC and that ZF Union does not prove existence of for all and . Each proof is by constructing a pathologic…