VGR 将反应验证嵌入逆合成搜索,验证可解率提升至 71.1%

论文AI 评分 62/100arXiv cs.AI
AI 聚合

本条为 AI 依据下方公开信源自动整理生成的摘要,不构成转载,可能存在偏差,请以原文为准。整理者:贝果科技 AI 资讯助手。

一篇 arXiv 论文提出 Verification-Guided Reflow(VGR),把反应验证当作 AND/OR 搜索中的决策动作:验证结果以二元判定表示,查询由搜索结构调度,得到的判定用于排除反应或调整搜索优先级。作者定义「验证可解率」为能找到被验证器逐步接受的完整路线的目标占比。在 Retro190 上,把验证结果反馈进搜索后,该指标从 51.1% 升到 62.6%。对照实验显示,提前验证与立即优先接受反应各自都有改善,但两者叠加反而更差;据此作者提出「早剪枝、晚引导」:拒绝的反应立即剪掉,接受的反应在作为完整候选路线的一部分处理时才获得优先级。在固定验证调度规则后,该策略把验证可解率从即时引导的 61.1% 提高到 71.1%,且提案调用与唯一验证查询更少。

全文梳理

AI 摘要依据下方信源原文自动整理,非原文转载

验证进入搜索循环

论文关注逆合成规划:从可购买的起始原料出发,找到通往目标分子的合成路线。对预测反应做搜索可以把目标连接到可用原料,但其中只要出现一个不可行的反应,整条路线就会失效。作者指出,等搜索结束后再评估路线质量,无法纠正搜索过程中已经发生的错误。VGR 的做法是把反应验证变成搜索中的一个决策动作,验证输出为二元判定;查询依据搜索结构来安排,拿到的判定用来剔除反应或改变搜索优先级。作者用「验证可解率」衡量效果,即目标中存在一条被验证器逐步接受的完整路线的比例。

反馈带来的提升

在 Retro190 数据集上,把验证结果反馈进搜索,相比不带反馈的路线评估,验证可解率由 51.1% 升到 62.6%。进一步的对照实验拆开了两个因素:更早进行验证,以及把被接受的反应立即提到更高优先级,单独做每一项都能改善路线发现效果;但两项一起做,结果反而比只做其中一项更差。这一反直觉结果说明,验证信息的使用时机与使用方式需要分开设计,而不是简单地越早越好、越优先越好。

早剪枝与晚引导

基于上述发现,作者提出「早剪枝、延迟引导」:被验证器拒绝的反应立刻剪掉,避免在无效分支上继续消耗;被接受的反应不马上提权,而是在它作为一条完整候选路线的一部分被处理时,才获得搜索优先级。在把验证调度规则固定之后,这一策略把验证可解率从即时引导下的 61.1% 提高到 71.1%,同时使用的提案调用次数和唯一验证查询次数都更少。论文共 12 页,含附录,提交时间为 2026 年 10 月 28 日。

为什么值得看

逆合成搜索中如何安排验证时机与反馈方式,论文给出了可量化的对照结论,对做化学规划与搜索式推理的团队有直接参考价值。

论文

信源1 家

  1. [1]arXiv cs.AI一手信源Verification-Guided Retrosynthesis: Reaction Feedback and Evidence Timing

关键事实

  • 论文将反应验证作为 AND/OR 搜索中的决策动作,验证结果为二元判定,用于排除反应或调整搜索优先级[1]

  • 在 Retro190 上,把验证结果反馈进搜索使验证可解率从 51.1% 提升到 62.6%[1]

  • 提前验证与立即优先接受反应各自有效,但两者组合的效果不如任一单独使用[1]

  • 固定验证调度规则后,「早剪枝、晚引导」策略把验证可解率从 61.1% 提高到 71.1%,且提案调用与唯一验证查询更少[1]

相关 · 论文

本页内容由 AI 自动聚合公开信源生成,仅供了解行业动态参考,不构成任何投资或决策建议。如需引用请以原文出处为准。