深度分析 SketchVerify 推理時計算分解:草圖→填充→驗證四階段管線提升小型程式模型成功率 研究以受限於小型程式模型的實務者為出發,提出SketchVerify:列舉多種演算法策略、生成帶空洞的程式草圖並多次填充、執行驗證與指紋聚類選出候選。實驗顯示在困難題子集內,SketchVerify於相同候選數下優於平坦抽樣,但無法取代升級至更強模型。