Project-Numina

AI-MO's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Articles

friederrr 

updated a dataset 5 days ago

AI-MO/B2-UniMath

Viewer • Updated 5 days ago • 4.29M • 61

liyongsea 

published a dataset 6 days ago

AI-MO/B2-UniMath

Viewer • Updated 5 days ago • 4.29M • 61

philip-vonderlind 

updated a dataset 16 days ago

AI-MO/B2-UniMath

Viewer • Updated 5 days ago • 4.29M • 61

lewtun 

updated a dataset about 2 months ago

AI-MO/aops

Viewer • Updated Mar 31 • 80.7k • 1.33k • 6

lewtun 

submitted 2 papers to Daily Papers 3 months ago

Single-minus gluon tree amplitudes are nonzero

Paper • 2602.12176 • Published Feb 12 • 8

Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL

Paper • 2602.03773 • Published Feb 3 • 13

lewtun 

updated a dataset 4 months ago

AI-MO/NuminaMath-1.5

Viewer • Updated Jan 29 • 896k • 6.77k • 186

ZihaoZhou 

submitted a paper to Daily Papers 4 months ago

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

Paper • 2601.14027 • Published Jan 20 • 14

liyongsea 

published a dataset 5 months ago

AI-MO/aops

Viewer • Updated Mar 31 • 80.7k • 1.33k • 6

LxYxvv 

updated a dataset 5 months ago

AI-MO/aops

Viewer • Updated Mar 31 • 80.7k • 1.33k • 6

LxYxvv 

updated 2 datasets 6 months ago

AI-MO/olympiads-ref-base

Viewer • Updated Nov 6, 2025 • 13.1k • 183 • 2

AI-MO/olympiads

Preview • Updated Nov 6, 2025 • 29.1k • 5

ranWang 

updated a dataset 6 months ago

AI-MO/olympiads-ref-base

Viewer • Updated Nov 6, 2025 • 13.1k • 183 • 2

liyongsea 

published 2 datasets 7 months ago

AI-MO/olympiads

Preview • Updated Nov 6, 2025 • 29.1k • 5

AI-MO/olympiads-ref-base

Viewer • Updated Nov 6, 2025 • 13.1k • 183 • 2

thibautbar 

authored a paper 10 months ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Paper • 2504.11354 • Published Apr 15, 2025 • 6

desaxce 

authored a paper about 1 year ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Paper • 2504.11354 • Published Apr 15, 2025 • 6

lewtun 

authored 3 papers about 1 year ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Paper • 2504.11354 • Published Apr 15, 2025 • 6

SmolVLM: Redefining small and efficient multimodal models

Paper • 2504.05299 • Published Apr 7, 2025 • 207

Optimizing Test-Time Compute via Meta Reinforcement Fine-Tuning

Paper • 2503.07572 • Published Mar 10, 2025 • 48