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

逆合成规划旨在从可购买的起始原料出发，为目标分子寻找合成路线。在预测反应上进行搜索可以将目标分子与可用原料连接起来，但一个不可行的反应可能使所得路线失效。若仅在搜索完成后评估路线质量，就无法纠正搜索过程中产生的错误。我们提出 Verification-Guided Reflow（VGR），将反应验证作为 AND/OR 搜索中的决策动作。验证结果以二元判定表示；查询根据搜索结构安排，并利用获得的判定结果排除反应或调整搜索优先级。我们将经验证可解性定义为：能够找到一条由验证器逐步接受的完整路线的目标分子所占比例。在 Retro190 上，与不使用反馈、仅进行路线评估相比，将验证结果反馈给搜索可使经验证可解性从 51.1% 提升至 62.6%。进一步的受控实验表明，更早进行验证以及立即提升已接受反应的优先级，均能改善路线发现效果，但将二者结合后的表现反而不如单独采用其中任一改变。因此，我们提出提前剪枝与延迟引导策略：立即剪去被拒绝的反应，而当已接受的反应作为完整候选路线的一部分被处理时，再提升其搜索优先级。在验证调度规则固定的另一项比较中，与即时引导下的 61.1% 相比，该策略将经验证可解性提高至 71.1%，同时减少了提案调用次数和唯一验证器查询次数。