LI Jia

liyongsea's activity

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

liked a dataset 2 days ago

MathArena/arxivmath-0526_outputs

Viewer • Updated 9 days ago • 1.88k • 203 • 1

liked a Space 9 days ago

Running

4

Efficient Optimizer Live

🤗

4

Dashboard for the Efficient Optimizer challenge

liked a Space 4 months ago

Running

Featured

74

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

📝

74

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 • 130 • • 87

liked a model 11 months ago

openai/gpt-oss-120b

Text Generation • 120B • Updated Aug 26, 2025 • 4.09M • • 4.94k

liked a dataset 11 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 373 • 59

liked 2 models 12 months ago

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

Text Generation • 33B • Updated Aug 27, 2025 • 10.2k • • 71

moonshotai/Kimi-K2-Instruct

Text Generation • 1T • Updated Apr 23 • 420k • • 2.36k

liked a model about 1 year ago

moonshotai/Kimi-Dev-72B

Text Generation • 73B • Updated Jun 17, 2025 • 2.06k • • 385

liked a dataset about 1 year ago

nvidia/OpenMathReasoning

Viewer • Updated May 27, 2025 • 5.68M • 18.8k • 468

liked a model about 1 year ago

AI-MO/Kimina-Autoformalizer-7B

Text Generation • 8B • Updated Apr 16, 2025 • 306 • • 19

liked a model over 1 year ago

moonshotai/Moonlight-16B-A3B-Instruct

Text Generation • 16B • Updated Jan 30 • 30.2k • 195

liked 4 datasets over 1 year ago

facebook/natural_reasoning

Viewer • Updated Feb 21, 2025 • 1.15M • 1.86k • 574

open-r1/OpenR1-Math-220k

Viewer • Updated Feb 18, 2025 • 450k • 38k • 762

AI-MO/NuminaMath-1.5

Viewer • Updated Jan 29 • 896k • 5.5k • 190

HuggingFaceTB/finemath

Viewer • Updated Feb 6, 2025 • 48.3M • 23.4k • 369

liked a model over 1 year ago

Qwen/QwQ-32B-Preview

Text Generation • 33B • Updated Jan 12, 2025 • 19.3k • • 1.74k

liked 2 datasets almost 2 years ago

yingyingzhang/metamath-qwen2-math

Viewer • Updated Oct 1, 2024 • 467k • 70 • 33

AI-MO/NuminaMath-CoT

Viewer • Updated Nov 25, 2024 • 860k • 34.7k • 592

liked a model almost 2 years ago

mistralai/Mamba-Codestral-7B-v0.1

7B • Updated Jul 24, 2025 • 40.2k • 615