LI Jia

liyongsea's activity

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

published a dataset about 11 hours ago

AI-MO/olympiads-ref-base

Viewer • Updated Apr 8 • 11.8k

published a dataset 2 months ago

AI-MO/GeometryLeanBench

Viewer • Updated Jul 23 • 122 • 23

published a model 2 months ago

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

2B • Updated Aug 14 • 71 • 7

published a dataset 2 months ago

AI-MO/Kimina-Prover-Promptset

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

published an article 2 months ago

view article

Article

Kimina-Prover-RL

By and 18 others •

Aug 14

• 11

published 2 models 2 months ago

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

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

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

0.8B • Updated Aug 14 • 50 • 4

liked a model 3 months ago

openai/gpt-oss-120b

Text Generation • 120B • Updated Aug 26 • 3.34M • • 4.03k

updated a dataset 3 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31 • 104k • 466 • 43

liked a dataset 3 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31 • 104k • 466 • 43

updated a collection 3 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 Aug 14 • 9

published a dataset 3 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31 • 104k • 466 • 43

liked 2 models 3 months ago

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

Text Generation • 33B • Updated Aug 27 • 7.29k • 54

moonshotai/Kimi-K2-Instruct

Text Generation • 1T • Updated 11 days ago • 102k • • 2.19k

published an article 3 months ago

view article

Article

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

By and 18 others •

Jul 10

• 51

published 3 models 3 months ago

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

Text Generation • 2B • Updated Jul 10 • 480 • • 8

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

Text Generation • 8B • Updated Jul 10 • 923 • • 9

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10 • 6.72k • • 29

updated 2 models 3 months ago

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

Text Generation • 2B • Updated Jul 10 • 480 • • 8

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

Text Generation • 8B • Updated Jul 10 • 923 • • 9