Ongoing Projects
Discover our flagship projects and current research directions.
Open Source AI
All our models and datasets are open and available to the community.
Featured Models
Name | Description | Size |
---|---|---|
NuminaMath-7B-CoT | Math reasoning with chain-of-thought prompts | 7B |
Kimina-Prover-Distill-1.5B | Lightweight formal proof assistant | 1.5B |
Coming Soon Model | Advanced mathematical reasoning model | TBA |
Featured Datasets
Name | Description | Size |
---|---|---|
Numina Math | Math reasoning dataset with chain-of-thought solutions | 860K |
Combibench | Combinatorics problems and solutions benchmark | 50K |
Informal Math Dataset | Large-scale informal mathematical proofs collection | Coming Soon |
Get Involved with Project Numina
Engage with the community, explore our resources, or contribute à la mission.
Support the mission
Make a donation and help advance open, collaborative mathematics.
Donate to Numina