Project-Numina

AI-MO's activity

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

liyongsea 

updated a dataset 5 days ago

AI-MO/NuminaMath-LEAN

Viewer • Updated 5 days ago • 104k • 265 • 24

liyongsea 

updated a collection 5 days ago

Kimina Prover

Collection

State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover • 4 items • Updated 5 days ago • 7

liyongsea 

published a dataset 5 days ago

AI-MO/NuminaMath-LEAN

Viewer • Updated 5 days ago • 104k • 265 • 24

thibautbar 

authored a paper 20 days ago

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

Paper • 2504.11354 • Published Apr 15 • 6

hynky 

authored a paper about 1 month ago

FineWeb2: One Pipeline to Scale Them All -- Adapting Pre-Training Data Processing to Every Language

Paper • 2506.20920 • Published Jun 26 • 64

floodsung 

authored a paper 2 months ago

G1: Bootstrapping Perception and Reasoning Abilities of Vision-Language Model via Reinforcement Learning

Paper • 2505.13426 • Published May 19 • 13

HaimingW 

authored 7 papers 3 months ago

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models

Paper • 2310.10180 • Published Oct 16, 2023 • 1

FIMO: A Challenge Formal Dataset for Automated Theorem Proving

Paper • 2309.04295 • Published Sep 8, 2023 • 1

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

Paper • 2402.08957 • Published Feb 14, 2024

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving

Paper • 2406.14408 • Published Jun 20, 2024

Process-Driven Autoformalization in Lean 4

Paper • 2406.01940 • Published Jun 4, 2024

DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning

Paper • 2310.02954 • Published Oct 4, 2023

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

Paper • 2504.11354 • Published Apr 15 • 6

desaxce 

authored a paper 3 months ago

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

Paper • 2504.11354 • Published Apr 15 • 6

lewtun 

authored a paper 3 months ago

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

Paper • 2504.11354 • Published Apr 15 • 6

spolu 

authored a paper 3 months ago

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

Paper • 2504.11354 • Published Apr 15 • 6

rookiemango 

authored a paper 3 months ago

Efficient Pretraining Length Scaling

Paper • 2504.14992 • Published Apr 21 • 20

floodsung 

authored a paper 4 months ago

Kimi-VL Technical Report

Paper • 2504.07491 • Published Apr 10 • 133

lewtun 

authored a paper 4 months ago

SmolVLM: Redefining small and efficient multimodal models

Paper • 2504.05299 • Published Apr 7 • 196

lewtun 

authored a paper 5 months ago

Optimizing Test-Time Compute via Meta Reinforcement Fine-Tuning

Paper • 2503.07572 • Published Mar 10 • 47