Qi Liu's picture

1 40 9

Qi Liu

purewhite42

·

Purewhite2019

AI & ML interests

Machine Learning, Theorem Proving

Recent Activity

liked a dataset about 1 month ago

Jiahao004/DeepTheorem

upvoted a paper about 1 month ago

Revisiting Reinforcement Learning for LLM Reasoning from A Cross-Domain Perspective

upvoted a paper about 2 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

View all activity

Organizations

purewhite42 's datasets 4

purewhite42/formal_problem_solving_main

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

purewhite42/formal_math500

Viewer • Updated May 8 • 387 • 15

purewhite42/putnambench_solving

Viewer • Updated May 8 • 324 • 20

purewhite42/minif2f_solving

Viewer • Updated May 8 • 375 • 19