Phase: P4
Owner(s): Sparsh
Goal: Demo script and eval on new domain; post-submission roadmap.
Where: scripts/demo_end_to_end.py, results/p4_scale/roadmap.md.
Parallel track: Wire parser (Akash) + geometry (Davin) + scaled model (Quang) as each lands.
-
Build demo: optional NL input → graph → solve → checker → print.
-
Run eval on geometry split; append to scaling results.
-
Write roadmap: what worked, what's deferred (Lean, full structure diffusion).
Done when: Demo script runs on ≥1 geometry problem; roadmap merged.
Push to: PR sparsh/p4-demo → main.
Auto-created from the MARC task board (index.html). Update the board if scope changes.
Phase: P4
Owner(s): Sparsh
Goal: Demo script and eval on new domain; post-submission roadmap.
Where:
scripts/demo_end_to_end.py,results/p4_scale/roadmap.md.Build demo: optional NL input → graph → solve → checker → print.
Run eval on geometry split; append to scaling results.
Write roadmap: what worked, what's deferred (Lean, full structure diffusion).
Auto-created from the MARC task board (
index.html). Update the board if scope changes.