Autogram：用 LLM 归纳语法发现网络系统不变量

Autogram 让 LLM 检查变量元数据、分类计数器数据类型并预测候选语法关系，再由确定性统计搜索在语法内验证，从而自动发现网络不变量。若初始语法在留出遥测数据上无法恢复已知可信不变量，LLM 会迭代扩宽语法直至恢复成功。在公开与生产 WAN 遥测数据上，Autogram 以完整召回率和低误报恢复了专家推导的不变量。