Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
21
13
dma2077
PRO
dma2077
Follow
upgraedd's profile picture
frascuchon's profile picture
kangz's profile picture
5 followers
·
10 following
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 15 hours ago
sangkuriang: A pseudo-spectral Python library for Korteweg-de Vries soliton simulation
upvoted
a
paper
6 days ago
STEP3-VL-10B Technical Report
updated
a dataset
15 days ago
dma2077/lean4_0109
View all activity
Organizations
dma2077
's datasets
8
Sort: Recently updated
dma2077/lean4_0109
Viewer
•
Updated
15 days ago
•
15.6k
•
61
dma2077/proof
Viewer
•
Updated
Oct 28, 2025
•
10k
•
2
dma2077/ana
Updated
Jul 22, 2025
•
17
dma2077/action
Updated
May 31, 2025
•
2
dma2077/longlong
Updated
Apr 10, 2025
dma2077/nextqa_frames
Viewer
•
Updated
Apr 8, 2025
•
8.56k
•
10
dma2077/videomme_frames
Viewer
•
Updated
Apr 8, 2025
•
2.7k
•
2
dma2077/food_data
Viewer
•
Updated
Apr 5, 2025
•
1.48M
•
11