m-a-p/WildSongBench
Viewer β’ Updated β’ 192 β’ 3.55k β’ 15
AI & ML interests
None defined yet.
Recent Activity
View all activity
Papers
YuE2: Unifying Symbolic and Audio Music Generation at Frontier Quality
OProver: A Unified Framework for Agentic Formal Theorem Proving
m-a-p/LPFQA
Viewer β’ Updated β’ 430 β’ 228 β’ 7
m-a-p/TerminalTraj-5k-instances
Updated β’ 488 β’ 6
m-a-p/MSQA
Updated β’ 83 β’ 2
m-a-p/bins
Updated β’ 3
m-a-p/ClinPath
Updated β’ 6
m-a-p/OProofs
Viewer β’ Updated β’ 6.8M β’ 5.68k β’ 4
m-a-p/PIN-200M
Viewer β’ Updated β’ 68.1k β’ 196k β’ 28
m-a-p/TerminalTraj
Viewer β’ Updated β’ 20k β’ 696 β’ 11
m-a-p/Encyclo-K
Viewer β’ Updated β’ 5.04k β’ 118 β’ 5
m-a-p/COIG-Writer
Updated β’ 451 β’ 27
m-a-p/Retrieval-Infused-Reasoning-Sandbox
Viewer β’ Updated β’ 300 β’ 29 β’ 4
m-a-p/CoDiQ-Corpus
Viewer β’ Updated β’ 44.5k β’ 14
m-a-p/OO1-Chat-747K
Viewer β’ Updated β’ 732k β’ 359
m-a-p/CodeCriticBench
Preview β’ Updated β’ 157 β’ 4
m-a-p/Writing-Preference-Bench
Viewer β’ Updated β’ 1.8k β’ 577 β’ 5
m-a-p/TreePO_data
Viewer β’ Updated β’ 3.12k β’ 109
m-a-p/Inverse_IFEval
Viewer β’ Updated β’ 1.01k β’ 72 β’ 27
m-a-p/PIN-14M
Viewer β’ Updated β’ 68.1k β’ 16.5k β’ 38
m-a-p/MTT
Updated β’ 1.39k β’ 1
m-a-p/DeepWriting-20K
Viewer β’ Updated β’ 35.8k β’ 155 β’ 37
m-a-p/AetherCode
Viewer β’ Updated β’ 456 β’ 549 β’ 8
m-a-p/FineLeanCorpusProof
Viewer β’ Updated β’ 75.6k β’ 10
m-a-p/harmonixset_bigvgan
Updated β’ 381 β’ 1
m-a-p/MTG
Updated β’ 3.74k β’ 2
m-a-p/FineLeanCorpus
Viewer β’ Updated β’ 509k β’ 352 β’ 11
m-a-p/CriticLeanInstruct
Viewer β’ Updated β’ 48k β’ 38 β’ 2
m-a-p/CriticLeanBench
Viewer β’ Updated β’ 500 β’ 202 β’ 2
m-a-p/HookTheory
Preview β’ Updated β’ 29 β’ 3
m-a-p/SciDA
Viewer β’ Updated β’ 1k β’ 50 β’ 5