squashenthus/HorizonMath

329 downloads in 30 days3 likesLast modified 18 Mar 2026View on Hugging Face

The declared licence (mit) is classified as permissive.

Declared licence: mit, from the tagEvidence: README.md at 01becf5
Licence files: No licence file at the top level of the repositoryEvidence: file list at 01becf5
Declared sources: None listed in the card metadata
Access gated on Hugging Face: No

Each cell links to what was checked: a file, a file list or a Hub record.

Citation text from the card

@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},
      url={https://arxiv.org/abs/2603.15617}, 
}

All datasets marked Permissive or share-alike | JSON

The same facts for your agent

A free MCP server at mcp.datalicense.uk/mcp. Connect it from an MCP client such as Claude or Cursor.

dataset_licence({ "id": "squashenthus/HorizonMath" })
signal: "permissive"
stated_licence: "mit"
sources: 0