m-a-p/MSQA
Viewer β’ Updated β’ 1.06k
AI & ML interests
None defined yet.
Recent Activity
View all 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/bins
Updated β’ 10
m-a-p/OProofs
Viewer β’ Updated β’ 6.8M β’ 5.86k β’ 2
m-a-p/PIN-200M
Viewer β’ Updated β’ 68.1k β’ 96.6k β’ 24
m-a-p/TerminalTraj-5k-instances
Updated β’ 51 β’ 6
m-a-p/TerminalTraj
Viewer β’ Updated β’ 20k β’ 578 β’ 8
m-a-p/Encyclo-K
Viewer β’ Updated β’ 5.04k β’ 49 β’ 4
m-a-p/COIG-Writer
Updated β’ 222 β’ 25
m-a-p/Retrieval-Infused-Reasoning-Sandbox
Viewer β’ Updated β’ 300 β’ 27 β’ 3
m-a-p/CoDiQ-Corpus
Viewer β’ Updated β’ 44.5k β’ 16
m-a-p/OO1-Chat-747K
Viewer β’ Updated β’ 732k β’ 96
m-a-p/LPFQA
Viewer β’ Updated β’ 502 β’ 46 β’ 6
m-a-p/CodeCriticBench
Preview β’ Updated β’ 38 β’ 4
m-a-p/Writing-Preference-Bench
Preview β’ Updated β’ 122 β’ 5
m-a-p/TreePO_data
Viewer β’ Updated β’ 3.12k β’ 56
m-a-p/Inverse_IFEval
Viewer β’ Updated β’ 1.01k β’ 85 β’ 26
m-a-p/PIN-14M
Viewer β’ Updated β’ 68.1k β’ 16.1k β’ 36
m-a-p/MTT
Updated β’ 3k β’ 1
m-a-p/DeepWriting-20K
Viewer β’ Updated β’ 35.8k β’ 64 β’ 34
m-a-p/AetherCode
Viewer β’ Updated β’ 456 β’ 332 β’ 8
m-a-p/harmonixset_bigvgan
Updated β’ 68 β’ 1
m-a-p/MTG
Updated β’ 5.77k β’ 2
m-a-p/FineLeanCorpus
Viewer β’ Updated β’ 509k β’ 490 β’ 11
m-a-p/CriticLeanInstruct
Viewer β’ Updated β’ 48k β’ 48 β’ 2
m-a-p/CriticLeanBench
Viewer β’ Updated β’ 500 β’ 128 β’ 2
m-a-p/HookTheory
Preview β’ Updated β’ 15 β’ 3
m-a-p/SciDA
Viewer β’ Updated β’ 1k β’ 27 β’ 5
m-a-p/Chords1217
Viewer β’ Updated β’ 1.22k β’ 606 β’ 4
m-a-p/GTZAN
Preview β’ Updated β’ 1.96k β’ 2
m-a-p/EMO
Viewer β’ Updated β’ 744 β’ 377 β’ 1