研究者发布图修复形式化诊断框架论文

Tung-Wei Lin 等作者发布论文，提出一种面向图修复方法的形式化诊断框架。该框架从合规图出发，用抽象重写系统系统性地引入模式违规，并称可证明覆盖模式约束。 作者将该框架应用于包括基于大语言模型在内的多种修复方法；论文称结果能按不同约束区分各方法表现，表明细粒度、系统化的评测工具对图修复很重要。

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

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