神经符号框架用Z3审计VLM放射报告一致性

Vikash Singh 等在arXiv论文（2602.24111v2，基于摘要）中提出一种神经符号验证框架，用Z3求解器结合临床知识库，对视觉语言模型生成的放射学报告做内部一致性的确定性审计。 作者在7个VLM和5个胸片基准上用该验证器暴露出保守观察、随机性幻觉等推理失败模式；在标注数据集上，施加求解器支持的蕴涵约束可作为事后保证，消除缺乏证据的幻觉，并提高生成式临床助手的诊断可靠性和精确率。

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

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