VERGE：LLM推理的形式化验证框架
热点事件持续更新
VERGE：LLM推理的形式化验证框架
1 篇报道1 个报道来源8 小时前更新
先了解这件事
AI 综述
Vikash Singh 等作者发布论文，提出神经符号框架 VERGE，将大语言模型与 SMT 求解器结合，通过迭代精化生成经形式化验证引导的答案。其做法是把 LLM 输出拆解为原子断言并自动形式化为一阶逻辑，再用自动定理证明检验逻辑一致性，并引入多模型共识、语义路由和基于最小修正子集的逻辑错误定位。 作者称，在 GPT-OSS-120B 上，VERGE 在多个推理基准上相比单次生成平均提升 18.7%。
AI 根据报道生成 · 2 小时前更新
最新进展10月15日 12:00
VERGE：面向可验证 LLM 推理的形式化精化与引导引擎报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- arXiv cs.AIVERGE：面向可验证 LLM 推理的形式化精化与引导引擎
VERGE 是一个神经符号框架，将 LLM 与 SMT 求解器结合，通过迭代精化生成验证引导的答案。它把 LLM 输出拆解为原子断言并自动形式化为一阶逻辑，用自动定理证明检验逻辑一致性，并引入多模型共识、语义路由和基于 Minimal Correction Subsets 的逻辑错误定位三项创新。在 GPT-OSS-120B 上，VERGE 在多个推理基准上相比单次生成平均提升 18.7%。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。