逆合成规划的目标是从可采购的起始原料找到通往目标分子的合成路线。传统方法在搜索过程中仅依据预测的反应生成候选路径，若某一步反应不可行，整个路径会在搜索结束后才被发现失效，导致大量无效路线被浪费。
为了解决这一问题，我们提出 Verification‑Guided Reflow (VGR)，将反应验证作为 AND/OR 搜索中的决策动作。验证器返回二元判决（通过/拒绝），搜索结构会根据这些判决动态调度查询：
- 拒绝的反应被立即剪枝；
- 接受的反应在形成完整候选路径时提升搜索优先级。
我们用 verified solvability（已验证可解率）衡量方法性能，定义为
$$\text{VS}=\frac{\text{成功获得逐步验证路径的目标数}}{\text{总目标数}}$$
在 Retro190 基准上，将验证结果反馈给搜索后，已验证可解率从 51.1% 提升至 62.6%。进一步的对照实验表明：
- 更早进行验证并立即提升接受反应的优先级各自能提升路径发现率；
- 两者同时使用却出现性能下降。
基于此，我们提出 早期剪枝 + 延迟引导 策略：拒绝的反应立即剔除，接受的反应仅在其所属完整候选路径被处理时才提升优先级。固定验证调度规则的情况下，该策略将已验证可解率从即时引导的 61.1% 提升至 71.1%，同时使用更少的提案调用和唯一验证查询。
点评