Project-Numina

AI-MO's activity

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

liyongsea 

published a model about 12 hours ago

AI-MO/Kimina-Prover-RL-1.7B

2B • Updated about 17 hours ago • 241 • 4

liyongsea 

published a dataset about 12 hours ago

AI-MO/Kimina-Prover-Promptset

Viewer • Updated 1 day ago • 24.4k • 5

thibautbar 

published an article about 12 hours ago

view article

Article

Kimina-Prover-RL

By and 18 others •

about 12 hours ago

• 3

liyongsea 

published 2 models about 12 hours ago

AI-MO/Kimina-Prover-Distill-0.6B

Text Generation • 0.8B • Updated about 18 hours ago • 2.34k • 1

AI-MO/Kimina-Prover-RL-0.6B

0.8B • Updated about 17 hours ago • 3

thibautbar 

updated 2 models about 17 hours ago

AI-MO/Kimina-Prover-RL-1.7B

2B • Updated about 17 hours ago • 241 • 4

AI-MO/Kimina-Prover-RL-0.6B

0.8B • Updated about 17 hours ago • 3

thibautbar 

updated a collection about 17 hours ago

Kimina Prover

Collection

State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover • 8 items • Updated about 17 hours ago • 7

thibautbar 

updated a model about 18 hours ago

AI-MO/Kimina-Prover-Distill-0.6B

Text Generation • 0.8B • Updated about 18 hours ago • 2.34k • 1

thibautbar 

updated a dataset 1 day ago

AI-MO/Kimina-Prover-Promptset

Viewer • Updated 1 day ago • 24.4k • 5

thibautbar 

authored a paper about 1 month ago

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

Paper • 2504.11354 • Published Apr 15 • 6

hynky 

authored a paper about 2 months ago

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

Paper • 2506.20920 • Published Jun 26 • 65

floodsung 

authored a paper 3 months ago

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

Paper • 2505.13426 • Published May 19 • 13

HaimingW 

authored 4 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