AWS 介绍用反统一做形式化策略的语义 diff

AWS Machine Learning Blog 介绍开源引擎 semi-persistent 如何用反统一（anti-unification）对形式化策略做语义 diff：在 e-graph 上声明代数律（如 And 的结合、交换、幂等）和领域改写规则，把只改写法不改语义的差异吸收掉，只保留真正的语义分歧为 Variants 节点。