Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Tian
Yuchen111
1
8
1
Follow
Ziyang's profile picture
XuTianCheng0102's profile picture
2 followers
·
3 following
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
3 days ago
Toward Recursive Self-Improvement in Physical AI
upvoted
a
paper
about 1 month ago
AI for Games in the Foundation Model Era
upvoted
a
paper
3 months ago
StateAct: Program State, before Pixels, for Long-Horizon Computer-Use Agents
View all activity
Organizations
Yuchen111
's datasets
9
Sort: Recently updated
Yuchen111/test
Updated
Feb 26
•
9
•
1
Yuchen111/mathlib4-ds
Updated
Aug 4, 2025
•
11
Yuchen111/elan_mathlib4-92c2d0cbb4aa68ea1be62aaf7c3517f7f8e1f385
Updated
Mar 2, 2025
•
18
Yuchen111/leandojo_zip
Updated
Feb 27, 2025
•
5
Yuchen111/elan_mathlib4_new
Updated
Feb 13, 2025
•
74
Yuchen111/mathlib4-2-11
Updated
Feb 11, 2025
•
15
Yuchen111/mathlib4
Updated
Dec 7, 2024
•
563
Yuchen111/apps_select
Viewer
•
Updated
Sep 25, 2024
•
4.27k
•
2
Yuchen111/CodeHaluEval
Updated
Aug 18, 2024
•
87
•
3