Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
3
5
8
Wuyang Chen
wuyangchen
Follow
hhkka's profile picture
1 follower
·
4 following
https://delta-lab-ai.github.io/
WuyangC
wuyangchen
AI & ML interests
None yet
Organizations
wuyangchen
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
3 months ago
google/bigbench
Updated
Jan 18, 2024
•
593
•
68
liked
a model
5 months ago
Qwen/Qwen-Image-Edit
Image-to-Image
•
Updated
Aug 25, 2025
•
67.9k
•
•
2.35k
liked
a model
8 months ago
openai/gpt-oss-120b
Text Generation
•
120B
•
Updated
Aug 26, 2025
•
4.36M
•
•
4.62k
liked
a Space
8 months ago
Running
12
Lean Finder
👁
12
Code search for Lean 4
liked
a dataset
10 months ago
qihoo360/WISA-80K
Viewer
•
Updated
Aug 1, 2025
•
79.5k
•
1.28k
•
12
liked
a dataset
about 1 year ago
delta-lab-ai/pde-controller
Preview
•
Updated
Feb 18, 2025
•
272
•
3
liked
a model
over 1 year ago
nvidia/Nemotron-Mini-4B-Instruct
Text Generation
•
Updated
Feb 14, 2025
•
21.6k
•
179
liked
a Space
over 1 year ago
Running
2
Search Mathlib
🔥
2
Search for theorems and definitions in Mathlib and Lean4.