Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
3
3
6
Yutong Wu
wyt2000
Follow
John6666's profile picture
gentlebowl's profile picture
Gargaz's profile picture
9 followers
·
5 following
AI & ML interests
None yet
Recent Activity
updated
a collection
16 days ago
CodeV-SVA
updated
a dataset
16 days ago
wyt2000/FVEval-Verified
published
a dataset
16 days ago
wyt2000/FVEval-Verified
View all activity
Organizations
None yet
wyt2000
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
9 months ago
Goedel-LM/Goedel-Pset-v1
Viewer
•
Updated
Apr 18, 2025
•
1.73M
•
385
•
13
liked
a dataset
10 months ago
WhiteGiverPlus/mathlib4
Viewer
•
Updated
Aug 8, 2024
•
4.64k
•
22
•
1
liked
a dataset
11 months ago
Inuyasha2023ch/LeanStatement
Viewer
•
Updated
Sep 1, 2024
•
90.9k
•
35
•
2
liked
a dataset
over 1 year ago
l3lab/ntp-mathlib-instruct-context-fullproof
Viewer
•
Updated
Sep 6, 2024
•
144k
•
64
•
1
liked
a model
over 1 year ago
1bitLLM/bitnet_b1_58-xl
Text Generation
•
1B
•
Updated
Mar 29, 2024
•
140
•
37
liked
a dataset
over 1 year ago
ise-uiuc/Magicoder-OSS-Instruct-75K
Viewer
•
Updated
Dec 4, 2023
•
75.2k
•
1.56k
•
157