m-a-p/WildSongBench
Viewer β’ Updated β’ 192 β’ 2.86k β’ 12
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/LPFQA
Viewer β’ Updated β’ 430 β’ 221 β’ 7
m-a-p/TerminalTraj-5k-instances
Updated β’ 429 β’ 6
m-a-p/MSQA
Updated β’ 70 β’ 2
m-a-p/bins
Updated β’ 2
m-a-p/ClinPath
Updated β’ 6
m-a-p/OProofs
Viewer β’ Updated β’ 6.8M β’ 6.15k β’ 4
m-a-p/PIN-200M
Viewer β’ Updated β’ 68.1k β’ 236k β’ 26
m-a-p/TerminalTraj
Viewer β’ Updated β’ 20k β’ 654 β’ 11
m-a-p/Encyclo-K
Viewer β’ Updated β’ 5.04k β’ 112 β’ 5
m-a-p/COIG-Writer
Updated β’ 425 β’ 27
m-a-p/Retrieval-Infused-Reasoning-Sandbox
Viewer β’ Updated β’ 300 β’ 25 β’ 4
m-a-p/CoDiQ-Corpus
Viewer β’ Updated β’ 44.5k β’ 13
m-a-p/OO1-Chat-747K
Viewer β’ Updated β’ 732k β’ 405
m-a-p/CodeCriticBench
Preview β’ Updated β’ 131 β’ 4
m-a-p/Writing-Preference-Bench
Viewer β’ Updated β’ 1.8k β’ 623 β’ 5
m-a-p/TreePO_data
Viewer β’ Updated β’ 3.12k β’ 108
m-a-p/Inverse_IFEval
Viewer β’ Updated β’ 1.01k β’ 211 β’ 27
m-a-p/PIN-14M
Viewer β’ Updated β’ 68.1k β’ 13.2k β’ 38
m-a-p/MTT
Updated β’ 1.17k β’ 1
m-a-p/DeepWriting-20K
Viewer β’ Updated β’ 35.8k β’ 127 β’ 37
m-a-p/AetherCode
Viewer β’ Updated β’ 456 β’ 667 β’ 8
m-a-p/FineLeanCorpusProof
Viewer β’ Updated β’ 75.6k β’ 8
m-a-p/harmonixset_bigvgan
Updated β’ 44 β’ 1
m-a-p/MTG
Updated β’ 3.75k β’ 2
m-a-p/FineLeanCorpus
Viewer β’ Updated β’ 509k β’ 416 β’ 11
m-a-p/CriticLeanInstruct
Viewer β’ Updated β’ 48k β’ 36 β’ 2
m-a-p/CriticLeanBench
Viewer β’ Updated β’ 500 β’ 296 β’ 2
m-a-p/HookTheory
Preview β’ Updated β’ 22 β’ 3
m-a-p/SciDA
Viewer β’ Updated β’ 1k β’ 60 β’ 5