程式草圖

深度分析

SketchVerify 推理時計算分解：草圖→填充→驗證四階段管線提升小型程式模型成功率

研究以受限於小型程式模型的實務者為出發，提出SketchVerify：列舉多種演算法策略、生成帶空洞的程式草圖並多次填充、執行驗證與指紋聚類選出候選。實驗顯示在困難題子集內，SketchVerify於相同候選數下優於平坦抽樣，但無法取代升級至更強模型。