9 citations · 9 across the 2 of their papers we have counts for
3 papers
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.RT2024
Dynkin abelianisations of flag varieties
Shreepranav Varma Enugandla, Xin Fang, Ghislain Fourier +1
Cerulli Irelli and Lanini have shown that PBW degenerations of flag varieties in type A and C are actually Schubert varieties of higher rank. We introduce Dynkin cones to parameter…
math.RT2022
Dynkin abelianisations of Lie algebras of exceptional type
Shreepranav Varma Enugandla
We consider degenerations of all simple Lie algebras of exceptional type obtained by embedding into affine Lie algebras. We give a filtration to consider this as an abelianisation…