@article{wang2026horizonmathmeasuringaiprogress,
title={HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification},
author={Erik Y. Wang and Sumeet Motwani and James V. Roggeveen and Eliot Hodges and Dulhan Jayalath and Charles London and Kalyan Ramakrishnan and Flaviu Cipcigan and Philip Torr and Alessandro Abate},
year={2026},
eprint={2603.15617},
archivePrefix={arXiv},
primaryClass={cs.LG}… See the full description on the dataset page:
https://huggingface.co/datasets/squashenthus/HorizonMath.
