AWS 团队开源基于 anti-unification 的形式化策略语义 diff 引擎
AWS 团队发布开源引擎 semi-persistent，用 anti-unification 在 e-graph 上计算两份形式化策略的语义 diff，共享结构只出现一次，分歧以 Variants 节点保留。
推荐理由：作者给出语义 diff 引擎的完整用法与策略案例，读者可据此判断能否用于形式化策略的等价性审查。
研究方向与科研任务
论文写作 最新动态
论文写作、引用、润色、投稿与同行评审经验。
2 条精选近 30 天 2 条共收录 15 条
更新
论文写作的精选
AWS Machine Learning Blog精选AI 评分6363
Microsoft Research精选AI 评分7676 微软研究院发布 PDD Kit，用 Verus 形式化验证 Agent 编写的全栈 Web 应用
微软研究院联合 GitHub Next 推出研究原型 PDD Kit，把开发者的自然语言意图转成 Verus 形式规约，再证明编码 Agent 生成的代码对每个输入都满足该规约，证明覆盖不到的部分回退到测试。
推荐理由：微软研究院与 GitHub Next 展示 PDD Kit 如何把自然语言意图转成 Verus 形式规约，并在真实 Rust 全栈应用上验证登录逻辑。