@misc{indiciaedc0034ad6093,
  title = {Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification},
  author = {Erik Y. Wang and Sumeet R. Motwani and James V. Roggeveen and Eliot Hodges and Dulhan Jayalath and Charles London and Kalyan Ramakrishnan and Jakob Foerster and Cheng Zhang and Flaviu Cipcigan and Philip Torr and Alessandro Abate},
  year = {2026},
  url = {https://arxiv.org/abs/2603.15617},
  note = {Source identifier: 2603.15617}
}