Sketch-and-Verify: Structured Inference-Time Scaling via Program Sketching

Shan Jiang, Zijian Yi, Chenguang Zhu

SKETCHVERIFY is a within-tier cost-performance policy, not a universal accuracy improvement. The operational question: a practitioner stuck with a small, cheap code model (here, Ge…