LI Jia

liyongsea's activity

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

liked a dataset about 13 hours ago

HuggingFaceCode/stack-v3-train

Viewer • Updated 3 days ago • 173M • 58.6k • 188

liked a dataset 27 days ago

MathArena/arxivmath-0526_outputs

Viewer • Updated Jun 23 • 1.88k • 200 • 1

liked a Space about 1 month ago

Running

4

Efficient Optimizer Live

🤗

4

Dashboard for the Efficient Optimizer challenge

upvoted a paper 4 months ago

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

Paper • 2601.14027 • Published Jan 20 • 15

liked a Space 5 months ago

Running

Featured

81

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

📝

81

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

liked a model 5 months ago

lm-provers/QED-Nano

Text Generation • 4B • Updated Mar 23 • 713 • • 88

published a dataset 8 months ago

AI-MO/aops

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

published 2 datasets 9 months ago

AI-MO/olympiads

Preview • Updated Nov 6, 2025 • 59.5k • 8

AI-MO/olympiads-ref-base

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

published a dataset 11 months ago

AI-MO/GeometryLeanBench

Viewer • Updated Jul 23, 2025 • 122 • 33 • 1

published a model 12 months ago

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

2B • Updated Aug 14, 2025 • 435 • 12

published a dataset 12 months ago

AI-MO/Kimina-Prover-Promptset

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

published an article 12 months ago

view article

Article

Kimina-Prover-RL

• 

AI-MO

•

Aug 14, 2025

• 17

published 2 models 12 months ago

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

Text Generation • 0.8B • Updated Aug 14, 2025 • 26 • • 3

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

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

liked a model 12 months ago

openai/gpt-oss-120b

Text Generation • 120B • Updated Aug 26, 2025 • 4.33M • • 5.04k

updated a dataset 12 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 355 • 60

liked a dataset 12 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 355 • 60

updated a collection 12 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 • 12

published a dataset 12 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 355 • 60