AWS Machine Learning Blog· Ferhat Erata·· 4 天前
用反合一（anti-unification）对形式化策略做语义 diff
Semantic diffing of formal policies with anti-unification
AI 导读
开源引擎用反合一（anti-unification）在 e-graph 上计算两条形式化策略的最具体公共模式，把相同部分只展示一次、差异部分并列保留，从而过滤掉重排合取项、等价谓词等语法噪声。
入选记录
门槛 60官方一手第一次 34第二次 34
未入选两次之和 68 < 门槛的两倍 120
- 信源等级
- 官方一手，这一级的门槛是 60 分
- 预筛
- 通过：形式化策略语义diff工具，涉及LLM自动形式化与AI智能体策略
评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。
来源：AWS Machine Learning Blog · aws.amazon.com