BenKBreen/ax-prover: ax-prover artifact v0.1.3

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Ben Breen
DOI: 10.5281/zenodo.20569143
Cited by: 1

Abstract

Add Apache-2.0 license and attribution for the NuminaMath-LEAN datasets (datasets/Numina/).

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
27 July 2026