Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
8
2
11
Zhouliang Yu
zhouliang
Follow
thomwolf's profile picture
EncikAM's profile picture
Longhui98's profile picture
8 followers
·
12 following
zhouliang-yu
AI & ML interests
Autoformalization, Reinforcement Learning
Recent Activity
updated
a collection
3 days ago
Lean4 Dataset
updated
a collection
3 days ago
Lean4 Dataset
updated
a collection
3 days ago
Lean4 Dataset
View all activity
Organizations
zhouliang
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
11 days ago
LLM4SymbolWorldModel/ipc_bench
Viewer
•
Updated
28 days ago
•
615
•
146
•
2
liked
a dataset
3 months ago
MrOvkill/svg-stack-labeled
Viewer
•
Updated
Jul 15, 2024
•
281k
•
618
•
9
liked
a dataset
4 months ago
deepseek-ai/DeepSeek-Prover-V1
Viewer
•
Updated
Sep 12, 2024
•
27.5k
•
734
•
52
liked
2 models
almost 2 years ago
microsoft/git-large-textcaps
Image-to-Text
•
Updated
Feb 8, 2023
•
1.81k
•
•
29
keras-io/video-vision-transformer
Updated
Jul 5, 2024
•
30
•
7
liked
a dataset
almost 2 years ago
bigcode/the-stack
Viewer
•
Updated
Apr 13, 2023
•
546M
•
9.58k
•
780
liked
2 Spaces
almost 2 years ago
Sleeping
5
5
Robotinder
🚀
Build error
62
62
ChatGPT Robotics
🤖
liked
a model
about 2 years ago
bigcode/santacoder
Text Generation
•
Updated
Oct 12, 2023
•
8.29k
•
•
331
liked
a model
over 2 years ago
EleutherAI/gpt-neo-1.3B
Text Generation
•
Updated
Jan 31, 2024
•
265k
•
•
288
liked
a Space
over 2 years ago
Runtime error
88
88
Image Captioning
🖼