9 citations · 9 across the 9 of their papers we have counts for
4 papers · 1 filter
Chow-Lam Recovery
Elizabeth Pratt, Kristian Ranestad
We study the conditions under which a subvariety of the Grassmannian may be recovered from certain of its linear projections. In the special case that our Grassmannian is projectiv…
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…
Wondertopes
Sarah Brauner, Christopher Eur, Elizabeth Pratt +1
Positive geometries were introduced by Arkani-Hamed--Bai--Lam as a method of computing scattering amplitudes in theoretical physics. We show that a positive geometry from a polytop…
The Chow-Lam Form
Elizabeth Pratt, Bernd Sturmfels
The classical Chow form encodes any projective variety by one equation. We here introduce the Chow-Lam form for subvarieties of a Grassmannian. By evaluating the Chow-Lam form at t…