LI Jia

liyongsea's activity

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

published a dataset 11 days ago

AI-MO/aops_raw

Viewer • Updated 11 days ago • 80.7k • 68 • 1

published a dataset about 2 months ago

AI-MO/olympiads-ref

Viewer • Updated Nov 6 • 13.1k • 11.9k • 1

published a dataset 2 months ago

AI-MO/olympiads-ref-base

Viewer • Updated Nov 6 • 13.1k • 92

published a dataset 4 months ago

AI-MO/GeometryLeanBench

Viewer • Updated Jul 23 • 122 • 39

published a model 4 months ago

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

2B • Updated Aug 14 • 381 • 8

published a dataset 4 months ago

AI-MO/Kimina-Prover-Promptset

Viewer • Updated Aug 13 • 24.4k • 123 • 1

published an article 4 months ago

view article

Article

Kimina-Prover-RL

• 

Aug 14

•

12

published 2 models 4 months ago

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

Text Generation • 0.8B • Updated Aug 14 • 731 • 1

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

0.8B • Updated Aug 14 • 108 • 4

liked a model 5 months ago

openai/gpt-oss-120b

Text Generation • 120B • Updated Aug 26 • 3.92M • • 4.26k

updated a dataset 5 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31 • 104k • 689 • 50

liked a dataset 5 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31 • 104k • 689 • 50

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

published a dataset 5 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31 • 104k • 689 • 50

updated 2 datasets 5 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31 • 104k • 689 • 50

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31 • 104k • 689 • 50