Qi Liu (SJTU & SII)

purewhite42's activity

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

liked 5 models 5 months ago

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

Text Generation • 8B • Updated Jul 10, 2025 • 2.13k • • 8

Goedel-LM/Goedel-Prover-V2-8B

Text Generation • 8B • Updated Aug 9, 2025 • 11.2k • 19

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

2B • Updated Aug 14, 2025 • 205 • 9

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

0.8B • Updated Aug 14, 2025 • 34 • 4

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10, 2025 • 401 • • 33

liked a dataset 5 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 618 • 52

liked a dataset 7 months ago

Jiahao004/DeepTheorem

Viewer • Updated Jul 3, 2025 • 121k • 228 • 25

liked 2 datasets 8 months ago

PAug/ProofNetSharp

Viewer • Updated Mar 24, 2025 • 371 • 74 • 7

purewhite42/formal_problem_solving_main

Viewer • Updated May 8, 2025 • 1.09k • 97 • 1

liked 4 models 9 months ago

IAAR-Shanghai/xVerify-3B-Ia

Text Generation • 3B • Updated 7 days ago • 22 • 4

IAAR-Shanghai/xVerify-0.5B-I

Text Generation • 0.5B • Updated 7 days ago • 1.67k • 8

IAAR-Shanghai/xVerify-9B-C

Text Generation • 9B • Updated 7 days ago • 104 • 5

IAAR-Shanghai/xVerify-8B-I

Text Generation • 8B • Updated 7 days ago • 16 • 5

liked a dataset 9 months ago

AI-MO/NuminaMath-1.5

Viewer • Updated Feb 10, 2025 • 896k • 1.82k • 167

liked a model about 1 year ago

deepseek-ai/DeepSeek-V2.5-1210

Text Generation • 236B • Updated Dec 11, 2024 • 1.15k • 256