Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
10
2
ZihaoZhou
ZihaoZhou
Follow
hanquansanren's profile picture
Sudanl's profile picture
2 followers
·
4 following
https://zhouzihao501.github.io/
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
3 days ago
Aletheia tackles FirstProof autonomously
upvoted
a
paper
24 days ago
Dr. Kernel: Reinforcement Learning Done Right for Triton Kernel Generations
upvoted
a
paper
about 1 month ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
View all activity
Organizations
ZihaoZhou
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a Space
5 months ago
Running
on
Zero
6
DvD
😻
6
Correctly warp and straighten document images
liked
a model
about 2 years ago
hkust-nlp/deita-complexity-scorer
Text Generation
•
Updated
Jan 1, 2024
•
29.4k
•
14