Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Qi Liu's picture
1 40 9

Qi Liu

purewhite42
21world's profile picture BoZhang's profile picture
·
  • 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

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

liked a dataset about 1 month ago

Jiahao004/DeepTheorem

Viewer • Updated 26 days ago • 121k • 429 • 23
liked 2 datasets 3 months ago

PAug/ProofNetSharp

Viewer • Updated Mar 24 • 371 • 94 • 3

purewhite42/formal_problem_solving_main

Viewer • Updated May 8 • 1.09k • 28 • 1
liked 4 models 3 months ago

IAAR-Shanghai/xVerify-3B-Ia

3B • Updated Apr 15 • 821 • 4

IAAR-Shanghai/xVerify-0.5B-I

0.5B • Updated Apr 15 • 849 • 6

IAAR-Shanghai/xVerify-9B-C

9B • Updated Apr 15 • 271 • 5

IAAR-Shanghai/xVerify-8B-I

8B • Updated Apr 15 • 873 • 5
liked a dataset 4 months ago

AI-MO/NuminaMath-1.5

Viewer • Updated Feb 10 • 896k • 3.35k • 152
liked a model 8 months ago

deepseek-ai/DeepSeek-V2.5-1210

Text Generation • 236B • Updated Dec 11, 2024 • 11.3k • 254
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs