Hugging Face's logo
Qi Liu's picture
1 34 8

Qi Liu

purewhite42
BoZhang's profile picture 21world's profile picture
·

AI & ML interests

Machine Learning, Theorem Proving

Recent Activity

liked a dataset 1 day ago
PAug/ProofNetSharp
authored a paper 1 day ago
Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
upvoted a paper 1 day ago
Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
View all activity

Organizations

Shanghai Jiaotong University 1(NOT OFFICIAL)'s profile picture Alpha-Innovator Lab's profile picture

purewhite42's activity

commented a paper over 1 year ago