神经符号框架验证VLM临床推理

研究者提出一种神经符号验证框架，用于审计视觉语言模型（VLM）生成放射报告的内部一致性：将影像自由文本发现自动形式化为结构化命题证据，再用SMT求解器Z3结合临床知识库，把每条诊断判定为数学蕴含、幻觉或遗漏。 在五个胸部X光基准上评估七款VLM，该验证器揭示了传统指标看不到的推理失效模式，如保守观察与随机幻觉。研究称，在带标注数据集上，求解器支撑的蕴含约束作为事后保障，可系统性消除无依据幻觉，提升生成式临床助手的诊断可靠性与精确率；该效果为论文所述，尚待独立验证。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。