m-a-p/GTZAN
Preview β’ Updated β’ 1.6k β’ 2
AI & ML interests
None defined yet.
Recent Activity
Papers
OProver: A Unified Framework for Agentic Formal Theorem Proving
A Self-Evolving Framework for Efficient Terminal Agents via Observational Context Compression
m-a-p/EMO
Viewer β’ Updated β’ 744 β’ 397 β’ 1
m-a-p/GS
Viewer β’ Updated β’ 7.04k β’ 1.71k β’ 1
m-a-p/ScaleLong
Updated β’ 18
m-a-p/SimpleVQA
Viewer β’ Updated β’ 2.03k β’ 869 β’ 4
m-a-p/SuperGPQA
Viewer β’ Updated β’ 26.5k β’ 8.17k β’ 91
m-a-p/IV-Bench
Viewer β’ Updated β’ 747 β’ 44 β’ 2
m-a-p/a50w
Updated β’ 4 β’ 1
m-a-p/COIG-P
Viewer β’ Updated β’ 1.01M β’ 208 β’ 30
m-a-p/COIG-CRBench
Viewer β’ Updated β’ 1.04k β’ 60 β’ 2
m-a-p/COIG-P-CRM
Viewer β’ Updated β’ 484k β’ 90 β’ 4
m-a-p/SuperGPQA-Records
Viewer β’ Updated β’ 911k β’ 616
m-a-p/OmniInstruct_v1
Viewer β’ Updated β’ 96.1k β’ 300 β’ 8
m-a-p/OpenO1_SFT_ultra_BoN_positvie_reward_v3_N-sample
Viewer β’ Updated β’ 43M β’ 31 β’ 1
m-a-p/Matrix
Viewer β’ Updated β’ 6.43B β’ 6.49k β’ 175
m-a-p/MdEval-Instruct
Viewer β’ Updated β’ 16k β’ 80
m-a-p/IN-Scientific
Viewer β’ Updated β’ 20.3k β’ 28
m-a-p/MdEval
Preview β’ Updated β’ 323 β’ 2
m-a-p/OmniBench
Viewer β’ Updated β’ 1.14k β’ 498 β’ 11
m-a-p/FineFineWeb-fasttext-seeddata
Preview β’ Updated β’ 113
m-a-p/FineFineWeb-validation
Viewer β’ Updated β’ 35.6k β’ 414 β’ 1
m-a-p/FineFineWeb-test
Viewer β’ Updated β’ 1.41M β’ 335 β’ 5
m-a-p/FineFineWeb-sample
Viewer β’ Updated β’ 224M β’ 11.1k β’ 4
m-a-p/FineFineWeb
Viewer β’ Updated β’ 4.89B β’ 1.33M β’ 155
m-a-p/FineFineWeb-bert-seeddata
Viewer β’ Updated β’ 8.8M β’ 242 β’ 2
m-a-p/CII-Bench
Viewer β’ Updated β’ 800 β’ 242 β’ 6
m-a-p/OmniInstruct
Viewer β’ Updated β’ 152k β’ 87 β’ 2
m-a-p/CMMMU
Viewer β’ Updated β’ 12k β’ 1.05k β’ 30
m-a-p/MMRA
Viewer β’ Updated β’ 1.02k β’ 81 β’ 13
m-a-p/MMTrail-20M
Updated β’ 4