Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
22
14
dma2077
PRO
dma2077
Follow
frascuchon's profile picture
kangz's profile picture
SiweiWu's profile picture
5 followers
·
10 following
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
12 days ago
Step 3.5 Flash: Open Frontier-Level Intelligence with 11B Active Parameters
liked
a dataset
14 days ago
stepfun-ai/GEBench
upvoted
a
paper
about 1 month ago
sangkuriang: A pseudo-spectral Python library for Korteweg-de Vries soliton simulation
View all activity
Organizations
dma2077
's datasets
8
Sort: Recently updated
dma2077/lean4_0109
Viewer
•
Updated
Jan 9
•
15.6k
•
103
dma2077/proof
Viewer
•
Updated
Oct 28, 2025
•
10k
•
6
dma2077/ana
Updated
Jul 22, 2025
•
43
dma2077/action
Updated
May 31, 2025
•
5
dma2077/longlong
Updated
Apr 10, 2025
•
3
dma2077/nextqa_frames
Viewer
•
Updated
Apr 8, 2025
•
8.56k
•
34
dma2077/videomme_frames
Viewer
•
Updated
Apr 8, 2025
•
2.7k
•
16
dma2077/food_data
Viewer
•
Updated
Apr 5, 2025
•
1.48M
•
34