dma2077's picture

dma2077 PRO

dma2077

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 1 day 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 16 days ago

dma2077/lean4_0109

View all activity

Organizations

dma2077 's datasets 8

dma2077/lean4_0109

Viewer • Updated 16 days ago • 15.6k • 61

dma2077/proof

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

dma2077/ana

Updated Jul 22, 2025 • 19

dma2077/action

Updated May 31, 2025 • 2

dma2077/longlong

Updated Apr 10, 2025

dma2077/nextqa_frames

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

dma2077/videomme_frames

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

dma2077/food_data

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