Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
1
2
Wuyang Chen
wuyangchen
Follow
AI & ML interests
None yet
Recent Activity
liked
a model
6 days ago
nvidia/Nemotron-Mini-4B-Instruct
upvoted
a
paper
6 days ago
Mix-LN: Unleashing the Power of Deeper Layers by Combining Pre-LN and Post-LN
View all activity
Organizations
None yet
wuyangchen
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
liked
a model
6 days ago
nvidia/Nemotron-Mini-4B-Instruct
Updated
Sep 23
•
39
•
136
liked
a Space
2 months ago
Running
2
🔥
Search Mathlib
Search for theorems and definitions in Mathlib and Lean4.