Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
1
2
5
Yutong Wu
wyt2000
Follow
dark-pen's profile picture
gentlebowl's profile picture
Gargaz's profile picture
5 followers
·
2 following
AI & ML interests
None yet
Recent Activity
liked
a dataset
20 days ago
WhiteGiverPlus/mathlib4
liked
a dataset
about 2 months ago
Inuyasha2023ch/LeanStatement
liked
a dataset
7 months ago
l3lab/ntp-mathlib-instruct-context-fullproof
View all activity
Organizations
None yet
wyt2000
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
20 days ago
WhiteGiverPlus/mathlib4
Viewer
•
Updated
Aug 8, 2024
•
4.64k
•
39
•
1
liked
a dataset
about 2 months ago
Inuyasha2023ch/LeanStatement
Viewer
•
Updated
Sep 1, 2024
•
90.9k
•
57
•
2
liked
a dataset
7 months ago
l3lab/ntp-mathlib-instruct-context-fullproof
Viewer
•
Updated
Sep 6, 2024
•
144k
•
59
•
1
liked
a model
9 months ago
1bitLLM/bitnet_b1_58-xl
Text Generation
•
Updated
Mar 29, 2024
•
3.97k
•
34
liked
a dataset
11 months ago
ise-uiuc/Magicoder-OSS-Instruct-75K
Viewer
•
Updated
Dec 4, 2023
•
75.2k
•
428
•
145