ahmiershadowman/metamath-proof-graphs
Updated
• 13
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 • 248 • 2 -
microsoft/NextCoderDataset
Viewer • Updated • 381k • 1.27k • 53 -
microsoft/rStar-Coder
Viewer • Updated • 1.86M • 18.5k • 225 -
AtlasUnified/atlas-preprocessed-code
Viewer • Updated • 582k • 1.15k -
AlgorithmicResearchGroup/arxiv_python_research_code
Viewer • Updated • 1.42M • 383 • 4 -
AlgorithmicResearchGroup/math_reasoning_automated_problem_solving_with_code_track_3
Viewer • Updated • 1.42k • 6 • 1 -
AlgorithmicResearchGroup/math_reasoning_autoformalization_track_1
Viewer • Updated • 9.73k • 5 -
deepmind/code_contests
Viewer • Updated • 4.04k • 734k • 216 -
openai/graphwalks
Viewer • Updated • 1.15k • 292 • 91 -
GraphWiz/GraphInstruct-RFT-72K
Viewer • Updated • 71.7k • 111 • 10 -
m-a-p/Code-Feedback
Viewer • Updated • 66.4k • 1.23k • 229 -
Crystalcareai/Code-feedback-sharegpt-renamed
Viewer • Updated • 66.4k • 214 • 4