dma2077's picture

dma2077 PRO

dma2077

·

AI & ML interests

None yet

Recent Activity

upvoted a collection 3 days ago

updated a dataset 5 days ago

updated a model 5 days ago

m-a-p/OProver-8B

View all activity

Organizations

dma2077 's datasets 8

dma2077/lean4_0109

Viewer • Updated Jan 9 • 15.6k • 99

dma2077/proof

Viewer • Updated Oct 28, 2025 • 10k • 10

dma2077/ana

Updated Jul 22, 2025 • 312

dma2077/action

Updated May 31, 2025 • 4

dma2077/longlong

Updated Apr 10, 2025 • 6

dma2077/nextqa_frames

Viewer • Updated Apr 8, 2025 • 8.56k • 29

dma2077/videomme_frames

Viewer • Updated Apr 8, 2025 • 2.7k • 18

dma2077/food_data

Viewer • Updated Apr 5, 2025 • 1.48M • 56