dma2077's picture

dma2077 PRO

dma2077

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 2 hours ago

updated a model about 2 hours ago

m-a-p/OProver-8B

updated a model about 3 hours ago

m-a-p/OProver-8B-Round2

View all activity

Organizations

dma2077 's datasets 8

dma2077/lean4_0109

Viewer • Updated Jan 9 • 15.6k • 104

dma2077/proof

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

dma2077/ana

Updated Jul 22, 2025 • 242

dma2077/action

Updated May 31, 2025 • 5

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 • 17

dma2077/food_data

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