Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
1
2
4
Yutong Wu
wyt2000
Follow
Gargaz's profile picture
21world's profile picture
gentlebowl's profile picture
5 followers
·
2 following
AI & ML interests
None yet
Recent Activity
liked
a dataset
22 days ago
Inuyasha2023ch/LeanStatement
liked
a dataset
6 months ago
l3lab/ntp-mathlib-instruct-context-fullproof
upvoted
a
collection
6 months ago
Informal-Formal
View all activity
Organizations
None yet
wyt2000
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
22 days ago
Inuyasha2023ch/LeanStatement
Viewer
•
Updated
Sep 1, 2024
•
90.9k
•
78
•
2
liked
a dataset
6 months ago
l3lab/ntp-mathlib-instruct-context-fullproof
Viewer
•
Updated
Sep 6, 2024
•
144k
•
108
•
1
liked
a model
8 months ago
1bitLLM/bitnet_b1_58-xl
Text Generation
•
Updated
Mar 29, 2024
•
578
•
34
liked
a dataset
10 months ago
ise-uiuc/Magicoder-OSS-Instruct-75K
Viewer
•
Updated
Dec 4, 2023
•
75.2k
•
336
•
145