312 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
3 papers
FrontierMath Erdős
Tom Adamczewski, Thomas F. Bloom
We introduce FrontierMath Erdős (FME), a benchmark of 68 Erdős problems that are open as of August 2026. To solve a task in FME, AI systems must resolve (prove or disprove) one of…
Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing
Divyagna Bavikadi, Dyuman Aditya, Devendra Parkar +4
The ability to generate artificial human movement patterns while meeting location and time constraints is an important problem in the security community, particularly as it enables…
Compute Trends Across Three Eras of Machine Learning
Jaime Sevilla, Lennart Heim, Anson Ho +3
Compute, data, and algorithmic advances are the three fundamental factors that guide the progress of modern Machine Learning (ML). In this paper we study trends in the most readily…