TY  - RPRT
TI  - Sketch-and-Verify: Structured Inference-Time Scaling via Program Sketching
AU  - Shan Jiang
AU  - Zijian Yi
AU  - Chenguang Zhu
PY  - 2026
UR  - https://arxiv.org/abs/2605.08658
ID  - 2605.08658
ER  -