LI Jia

liyongsea's activity

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

liked a Space 17 days ago

Running

Featured

65

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems

📝

65

Who needs 1T parameters? Olympiad proofs with a 4B model

liked a model 28 days ago

lm-provers/QED-Nano

Text Generation • 4B • Updated 25 days ago • 10k • 84

published a dataset 3 months ago

AI-MO/aops

Viewer • Updated Dec 12, 2025 • 80.7k • 121 • 3

published a dataset 4 months ago

AI-MO/olympiads

Preview • Updated Nov 6, 2025 • 42k • 4

published a dataset 5 months ago

AI-MO/olympiads-ref-base

Viewer • Updated Nov 6, 2025 • 13.1k • 50 • 1

published a dataset 7 months ago

AI-MO/GeometryLeanBench

Viewer • Updated Jul 23, 2025 • 122 • 64

published a model 7 months ago

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

2B • Updated Aug 14, 2025 • 2k • 11

published a dataset 7 months ago

AI-MO/Kimina-Prover-Promptset

Viewer • Updated Aug 13, 2025 • 24.4k • 50 • 2

published an article 7 months ago

view article

Article

Kimina-Prover-RL

• 

Aug 14, 2025

•

15

published 2 models 7 months ago

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

Text Generation • 0.8B • Updated Aug 14, 2025 • 1.13k • 3

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

0.8B • Updated Aug 14, 2025 • 303 • 5

liked a model 7 months ago

openai/gpt-oss-120b

Text Generation • 120B • Updated Aug 26, 2025 • 4.69M • • 4.57k

updated a dataset 7 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 1.12k • 54

liked a dataset 7 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 1.12k • 54

updated a collection 7 months ago

Kimina Prover

Collection

State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover • 8 items • Updated Oct 30, 2025 • 9

published a dataset 7 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 1.12k • 54

liked 2 models 8 months ago

Goedel-LM/Goedel-Prover-V2-32B

Text Generation • Updated Aug 27, 2025 • 5.18k • 64

moonshotai/Kimi-K2-Instruct

Text Generation • 1T • Updated Jan 30 • 81.8k • • 2.33k

published an article 8 months ago

view article

Article

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

• 

Jul 10, 2025

•

54

published a model 8 months ago

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

Text Generation • 2B • Updated Jul 10, 2025 • 1.44k • • 7