神经符号框架审计VLM临床推理

研究者提出一种神经符号验证框架，用于审计视觉语言模型（VLM）生成放射学报告的临床推理一致性。该框架将报告自由文本自动形式化为结构化命题证据，再用 SMT 求解器 Z3 结合临床知识库，判定每条诊断结论属于被数学蕴含、幻觉还是遗漏。 在五个胸部 X 光基准上评估七款 VLM 后，该验证器揭示出传统指标无法发现的推理失败模式，包括保守观察与随机幻觉；在有标注数据集上，它系统性消除了无依据幻觉，并提升了诊断可靠性与精确率。

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

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