Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
1
10
2
ZihaoZhou
ZihaoZhou
Follow
Sudanl's profile picture
hanquansanren's profile picture
2 followers
·
4 following
https://zhouzihao501.github.io/
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
14 days ago
Aletheia tackles FirstProof autonomously
upvoted
a
paper
about 1 month ago
Dr. Kernel: Reinforcement Learning Done Right for Triton Kernel Generations
upvoted
a
paper
about 2 months 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
Sleeping
6
DvD
😻
6
Correctly warp and straighten document images
liked
a model
over 2 years ago
hkust-nlp/deita-complexity-scorer
Text Generation
•
Updated
Jan 1, 2024
•
509
•
14