AI要約 本論文は、LLMの推論時スケーリングを構造化するため「Sketch-and-Verify」手法を提案する。プログラムスケッチで解の骨格を生成し、検証器で穴埋め部分を確認することで、計算資源を効率的に配分する。

EN The paper proposes Sketch-and-Verify, a structured inference-time scaling method that uses program sketches to outline solutions and verifiers to fill and check holes, aiming to allocate compute more efficiently than naive sampling.