Qi Liu (SJTU & SII)

purewhite42

Purewhite2019

AI & ML interests

Machine Learning, Formal Mathematics CS PhD Student @ ReThinklab, SJTU and SII (an institution dedicated to innovation in education and research in the field of AI)

Recent Activity

updated a dataset about 2 months ago

purewhite42/minif2f_solving

updated a dataset about 2 months ago

purewhite42/formal_problem_solving_main

updated a dataset about 2 months ago

purewhite42/putnambench_solving

View all activity

Organizations

liked 2 models 12 months ago

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

Text Generation • 8B • Updated Jul 10, 2025 • 815 • • 8

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

Text Generation • 8B • Updated Aug 9, 2025 • 6.74k • • 28

liked 3 models about 1 year ago

liked 2 datasets about 1 year ago

AI-MO/NuminaMath-LEAN

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

Jiahao004/DeepTheorem

Viewer • Updated Jul 3, 2025 • 121k • 435 • 26

liked 2 datasets over 1 year ago

PAug/ProofNetSharp

Viewer • Updated Mar 24, 2025 • 371 • 296 • 9

purewhite42/formal_problem_solving_main

Viewer • Updated Jun 29 • 1.09k • 54 • 2

liked 4 models over 1 year ago

IAAR-Shanghai/xVerify-3B-Ia

Text Generation • 3B • Updated Jan 1 • 64 • 4

IAAR-Shanghai/xVerify-0.5B-I

Text Generation • 0.5B • Updated Jan 1 • 2.47k • • 11

IAAR-Shanghai/xVerify-9B-C

Text Generation • 9B • Updated Jan 1 • 632 • 5

IAAR-Shanghai/xVerify-8B-I

Text Generation • 8B • Updated Jan 1 • 23 • 5

liked a dataset over 1 year ago

AI-MO/NuminaMath-1.5

Viewer • Updated Jan 29 • 896k • 12.7k • 191

liked a model over 1 year ago

deepseek-ai/DeepSeek-V2.5-1210

Text Generation • 236B • Updated Dec 11, 2024 • 707 • 257

Qi Liu (SJTU & SII)

AI & ML interests

Recent Activity

Organizations

purewhite42's activity