m-a-p/WildSongBench
Viewer β’ Updated β’ 192 β’ 3.09k β’ 14
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 β’ 215 β’ 7
m-a-p/TerminalTraj-5k-instances
Updated β’ 454 β’ 6
m-a-p/MSQA
Updated β’ 68 β’ 2
m-a-p/bins
Updated β’ 2
m-a-p/ClinPath
Updated β’ 3
m-a-p/OProofs
Viewer β’ Updated β’ 6.8M β’ 5.91k β’ 4
m-a-p/PIN-200M
Viewer β’ Updated β’ 68.1k β’ 232k β’ 28
m-a-p/TerminalTraj
Viewer β’ Updated β’ 20k β’ 675 β’ 11
m-a-p/Encyclo-K
Viewer β’ Updated β’ 5.04k β’ 117 β’ 5
m-a-p/COIG-Writer
Updated β’ 462 β’ 27
m-a-p/Retrieval-Infused-Reasoning-Sandbox
Viewer β’ Updated β’ 300 β’ 29 β’ 4
m-a-p/CoDiQ-Corpus
Viewer β’ Updated β’ 44.5k β’ 13
m-a-p/OO1-Chat-747K
Viewer β’ Updated β’ 732k β’ 388
m-a-p/CodeCriticBench
Preview β’ Updated β’ 136 β’ 4
m-a-p/Writing-Preference-Bench
Viewer β’ Updated β’ 1.8k β’ 613 β’ 5
m-a-p/TreePO_data
Viewer β’ Updated β’ 3.12k β’ 106
m-a-p/Inverse_IFEval
Viewer β’ Updated β’ 1.01k β’ 203 β’ 27
m-a-p/PIN-14M
Viewer β’ Updated β’ 68.1k β’ 14.5k β’ 38
m-a-p/MTT
Updated β’ 1.18k β’ 1
m-a-p/DeepWriting-20K
Viewer β’ Updated β’ 35.8k β’ 132 β’ 37
m-a-p/AetherCode
Viewer β’ Updated β’ 456 β’ 645 β’ 8
m-a-p/FineLeanCorpusProof
Viewer β’ Updated β’ 75.6k β’ 8
m-a-p/harmonixset_bigvgan
Updated β’ 57 β’ 1
m-a-p/MTG
Updated β’ 3.7k β’ 2
m-a-p/FineLeanCorpus
Viewer β’ Updated β’ 509k β’ 404 β’ 11
m-a-p/CriticLeanInstruct
Viewer β’ Updated β’ 48k β’ 37 β’ 2
m-a-p/CriticLeanBench
Viewer β’ Updated β’ 500 β’ 252 β’ 2
m-a-p/HookTheory
Preview β’ Updated β’ 19 β’ 3
m-a-p/SciDA
Viewer β’ Updated β’ 1k β’ 54 β’ 5