面向图修复系统的形式化诊断框架

研究者提出一种图修复方法的形式化诊断框架，从合规图出发，用抽象重写系统系统性地引入模式违规，并保证对模式约束的可证明覆盖。将该框架应用于包括基于大语言模型（LLM，Large Language Model）的多种修复方法后，结果显示它能按不同约束区分各方法的表现，说明细粒度、系统化的评测工具对图修复很重要。