验证引导逆合成：反应反馈与证据时机

研究者提出 Verification-Guided Reflow（VGR），将反应验证作为 AND/OR 搜索中的决策动作，在 Retro190 上将验证可解率从 51.1% 提升至 62.6%。该方法采用早期剪枝与延迟引导策略，立即剪除被拒反应并在处理完整候选路线时提升被接受反应的优先级。在固定调度对比中，该策略将验证可解率从 61.1% 提升至 71.1%，同时减少了提议调用与验证器查询次数。