@misc{indiciaef9e55adefa9f,
  title = {Sketch-and-Verify: Structured Inference-Time Scaling via Program Sketching},
  author = {Shan Jiang and Zijian Yi and Chenguang Zhu},
  year = {2026},
  url = {https://arxiv.org/abs/2605.08658},
  note = {Source identifier: 2605.08658}
}