SAVRN
Search Contact SAVRN

Organization

Project-Numina

AI-MO

Models in Library0
Datasets in Library2
Models on Hugging Face14
Followers512

Datasets

Dataset · Text generation

NuminaMath-CoT

Project-Numina

Approximately 860k math problems, where each solution is formatted in a Chain of Thought (CoT) manner. The sources of the dataset range from Chinese high school math exercises to US and international mathematics olympiad competition problems. The data were primarily collected from online exam paper PDFs and mathematics discussion forums. The processing steps include (a) OCR from the original PDFs, (b) segmentation into problem-solution pairs, (c) Translation into English, (d) realignment to produce a CoT reasoning format, and (e) final answer formatting. The dataset is available under the Apache License, Version 2.0.

Publicly accessible apache-2.0

AI-MO Olympiad Reference Dataset This dataset contains a structured collection of Olympiad problems and their solutions, organized by competition. Contains high quality data, prioritizing "official" solutions to problems. Structure / # Problems and solutions from the International Mathematical Olympiad ├── raw/ # Raw problem/solution statements (.pdf) │ ├── file1.pdf │ ├── file2.pdf ├── downloadscript/ # the scripts used to

Publicly accessible