Qi Liu's picture

Qi Liu

purewhite42

·

Purewhite2019

AI & ML interests

Machine Learning, Theorem Proving

Recent Activity

liked a model 3 days ago

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

upvoted an article 8 days ago

Kimina-Prover-RL

liked a model 8 days ago

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

View all activity

Organizations

purewhite42 's datasets 4

purewhite42/formal_problem_solving_main

Viewer • Updated May 8 • 1.09k • 23 • 1

purewhite42/formal_math500

Viewer • Updated May 8 • 387 • 4

purewhite42/putnambench_solving

Viewer • Updated May 8 • 324 • 45

purewhite42/minif2f_solving

Viewer • Updated May 8 • 375 • 15