Math AI training data providers.
10 companies say on their own websites that they sell datasets and work on math. 4 of them have revenue, a valuation or funding on record, and come first, largest first. Each line below is the company's own description, linked to the page it is on.
“Expert-built, verified by code, and proven to transfer. ... License our off-the-shelf data for eval, SFT or RL.” its page
Data comes from: recorded from people and the real world, made by experts and contractors, generated.
“A larger, privately held dataset, which we license to companies for their own internal validation.” its page
Data comes from: made by experts and contractors.
- SuperAnnotate
#30 overall, $49.5M raised in total
“Versioned, audited datasets with full lineage from raw signal to train set.” its page
Data comes from: made by experts and contractors.
“Original corpus of 1,000 Chain of Thought math problems, including step-wise corrections and annotation, intersecting 60+ disparate subdomains of formal and applied mathematics.” its page
Data comes from: recorded from people and the real world, made by experts and contractors.
“Datasets with repository patches, programming problems, and code comprehension tasks.” its page
Data comes from: made by experts and contractors, licensed from its owners, recorded from people and the real world.
“Explore curated datasets of mathematical problems and AI model evaluations” its page
Data comes from: made by experts and contractors.
“PhDs and professionals in mathematics, medicine, law, finance, and engineering providing expert-grade training data.” its page
Data comes from: made by experts and contractors.
“SYNTHETIC-2 consists of a large set of verifiable reasoning tasks as well as reasoning traces obtained from multiple models.” its page
Data comes from: generated, public data.
“from building high-quality training datasets to delivering production-ready models” its page
Data comes from: the client's own data.
“Start with difficult math, STEM, and cybersecurity problems packaged with verifiers and reward signals.” its page
Data comes from: generated, made by experts and contractors.
