跳到正文
原文
arXiv · Software Engineering· Laurent Bindschaedler, Ferdi Kossmann, Chunwei Liu, Jason Mohoney·· 3 小时前AI 评分31

Guarded Commits:LLM 工作流中的人类审批事务化设计

Guarded Commits: Transactional Human Approvals for LLM Workflows

AI 导读

Guarded Commits 将人类审批作为工作流状态的一部分,在外部动作执行前通过决策源追加决议记录与引用证据,并由凭证受限的提交适配器校验记录与制品、策略版本及执行路径的一致性。验证器在合成无环工作流计划上测试,能正确接受无故障计划并拒绝缺失门控、错误门控类型或路径覆盖不完整的计划。在总计 271,035 条轨迹的三个公开负载上,重放能复现记录中的制品哈希。

来源:arXiv · Software Engineering · arxiv.org