m-a-p/WildSongBench
Viewer β’ Updated β’ 192 β’ 21 β’ 4
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 β’ 121 β’ 6
m-a-p/TerminalTraj-5k-instances
Updated β’ 127 β’ 6
m-a-p/MSQA
Updated β’ 53 β’ 2
m-a-p/bins
Updated
m-a-p/ClinPath
Updated β’ 4
m-a-p/OProofs
Viewer β’ Updated β’ 6.8M β’ 5.44k β’ 4
m-a-p/PIN-200M
Viewer β’ Updated β’ 68.1k β’ 163k β’ 24
m-a-p/TerminalTraj
Viewer β’ Updated β’ 20k β’ 252 β’ 10
m-a-p/Encyclo-K
Viewer β’ Updated β’ 5.04k β’ 67 β’ 4
m-a-p/COIG-Writer
Updated β’ 515 β’ 25
m-a-p/Retrieval-Infused-Reasoning-Sandbox
Viewer β’ Updated β’ 300 β’ 60 β’ 4
m-a-p/CoDiQ-Corpus
Viewer β’ Updated β’ 44.5k β’ 12
m-a-p/OO1-Chat-747K
Viewer β’ Updated β’ 732k β’ 251
m-a-p/CodeCriticBench
Preview β’ Updated β’ 61 β’ 4
m-a-p/Writing-Preference-Bench
Viewer β’ Updated β’ 1.8k β’ 478 β’ 5
m-a-p/TreePO_data
Viewer β’ Updated β’ 3.12k β’ 109
m-a-p/Inverse_IFEval
Viewer β’ Updated β’ 1.01k β’ 219 β’ 27
m-a-p/PIN-14M
Viewer β’ Updated β’ 68.1k β’ 4.47k β’ 37
m-a-p/MTT
Updated β’ 1.84k β’ 1
m-a-p/DeepWriting-20K
Viewer β’ Updated β’ 35.8k β’ 190 β’ 37
m-a-p/AetherCode
Viewer β’ Updated β’ 456 β’ 549 β’ 8
m-a-p/FineLeanCorpusProof
Viewer β’ Updated β’ 75.6k β’ 1
m-a-p/harmonixset_bigvgan
Updated β’ 25 β’ 1
m-a-p/MTG
Updated β’ 9.19k β’ 2
m-a-p/FineLeanCorpus
Viewer β’ Updated β’ 509k β’ 432 β’ 11
m-a-p/CriticLeanInstruct
Viewer β’ Updated β’ 48k β’ 26 β’ 2
m-a-p/CriticLeanBench
Viewer β’ Updated β’ 500 β’ 269 β’ 2
m-a-p/HookTheory
Preview β’ Updated β’ 24 β’ 3
m-a-p/SciDA
Viewer β’ Updated β’ 1k β’ 58 β’ 5