AWS Machine Learning Blog· Ferhat Erata·· 3 小时前AI 评分34
用反合一（anti-unification）对形式化策略做语义 diff
Semantic diffing of formal policies with anti-unification
AI 导读
开源引擎基于反合一（anti-unification）在 e-graph 上计算两份形式化策略的语义 diff，只展示一次共有结构、并保留每处差异的两个版本，若差异为零则在给定代数律与领域规则下判定等价。
来源：AWS Machine Learning Blog · aws.amazon.com