论文用形式化方法比较糖尿病视网膜病变分级文本

Elisa Rovai 等在 arXiv 发布论文，将糖尿病视网膜病变同一国际分级的四份文本（2025 英文筛查定义、2017 表格版、2003 原版、2015 意大利指南）转写为覆盖 24 个病变变量的规则语言，用 SMT 求解器穷举 1,425,807,360 种病变组合。研究发现：每份文本在所有解读下都有眼睛无法归类，2017 表格版存在字面读为空集的增殖类，且无法将 2003 等级映射到 2017 等级。 在三个公开数据集的 927 张标注照片上，英文文本与 2017 表格版对 DDR 数据集 26.8% 眼睛的转诊判定不一致。预注册实验还显示，多数语言模型即使被要求按字面阅读，也会静默修复文本中的缺口与重叠，而 Claude Sonnet 5.5 与 Claude Opus 5.5 更多报告了这些缺陷。

AI 根据报道生成 · 4 分钟前更新

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