Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
1
2
6
Yutong Wu
wyt2000
Follow
Gargaz's profile picture
dark-pen's profile picture
21world's profile picture
5 followers
·
4 following
AI & ML interests
None yet
Recent Activity
liked
a dataset
12 days ago
Goedel-LM/Goedel-Pset-v1
liked
a dataset
about 1 month ago
WhiteGiverPlus/mathlib4
liked
a dataset
2 months ago
Inuyasha2023ch/LeanStatement
View all activity
Organizations
None yet
wyt2000
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
12 days ago
Goedel-LM/Goedel-Pset-v1
Viewer
•
Updated
4 days ago
•
1.73M
•
177
•
6
liked
a dataset
about 1 month ago
WhiteGiverPlus/mathlib4
Viewer
•
Updated
Aug 8, 2024
•
4.64k
•
29
•
1
liked
a dataset
2 months ago
Inuyasha2023ch/LeanStatement
Viewer
•
Updated
Sep 1, 2024
•
90.9k
•
25
•
2
liked
a dataset
7 months ago
l3lab/ntp-mathlib-instruct-context-fullproof
Viewer
•
Updated
Sep 6, 2024
•
144k
•
52
•
1
liked
a model
10 months ago
1bitLLM/bitnet_b1_58-xl
Text Generation
•
Updated
Mar 29, 2024
•
7.89k
•
34
liked
a dataset
11 months ago
ise-uiuc/Magicoder-OSS-Instruct-75K
Viewer
•
Updated
Dec 4, 2023
•
75.2k
•
579
•
146