Project Numina

https://projectnumina.ai/ • Jul 13, 2024 22:39

Extracto

A non-profit building open-source AI for mathematical collaboration.

Discover our flagship projects and current research directions.

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

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

Join the effort

Contribute code, review tasks or help shape the future of math.

Support the mission

Make a donation and help advance open, collaborative mathematics.

Stay updated with the latest research and community news.