研究者提出DocAuth：形式化库自然语言文档归因方法

Sirui Jiang等研究者在arXiv发布论文，提出DocAuth——一种基于“归因”（attribution）的自然语言文档生成方法，用于判断文档是否真正依赖函数的具体行为，并为每句文档附加可检验的形式化性质与证据。 背景：在ACL2定理证明器Community Books库的150个函数上，三个大语言模型对约三分之一的函数生成了可证明但不可归因的性质。论文称，DocAuth在归因率上达到或不低于基于变异的过滤方法，同时多产出37%的可归因句子。

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

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