ahmiershadowman/metamath-proof-graphs
Updated
•
26
PHASE-1B: Compositional Structure
🧩 Early symbolic thought. Learn to build and reuse modular structures. Pin/unpin dependencies instead of rebuilding. Graph substrate solidifies here.
-
-
hzcheney/Hi-Graph
Viewer • Updated • 500k • 79 • 2 -
microsoft/NextCoderDataset
Viewer • Updated • 381k • 1.17k • 51 -
microsoft/rStar-Coder
Viewer • Updated • 1.86M • 3.46k • 225 -
AtlasUnified/atlas-preprocessed-code
Viewer • Updated • 582k • 670 -
AlgorithmicResearchGroup/arxiv_python_research_code
Viewer • Updated • 1.42M • 90 • 4 -
AlgorithmicResearchGroup/math_reasoning_automated_problem_solving_with_code_track_3
Viewer • Updated • 1.42k • 10 • 1 -
AlgorithmicResearchGroup/math_reasoning_autoformalization_track_1
Viewer • Updated • 9.73k • 5 -
deepmind/code_contests
Viewer • Updated • 4.04k • 1.23M • 208 -
openai/graphwalks
Viewer • Updated • 1.15k • 170 • 91 -
GraphWiz/GraphInstruct-RFT-72K
Viewer • Updated • 71.7k • 115 • 10 -
m-a-p/Code-Feedback
Viewer • Updated • 66.4k • 2.09k • 216 -
Crystalcareai/Code-feedback-sharegpt-renamed
Viewer • Updated • 66.4k • 219 • 4