Cite
Notes
Only stored in your browser.
Attribution
HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification
arXiv 2026
REAL: Benchmarking Autonomous Agents on Deterministic Simulations of Real Websites
arXiv 2025
from 2 papers
Charles London
Alessandro Abate
Andis Draguns
Atharva Gundawar
Christian Schroeder de Witt
Diego Caples
Divyansh Garg
Dulhan Jayalath
Eliot Hodges
Erik Y. Wang