SKILL.nb: Selective Formalization and Gated Execution for Durable Agent Workflows
SKILL.nb：用于持久代理工作流的选择性形式化与门控执行
机构 * ServiceNow Research ； Mila ； Polytechnique Montréal（蒙特利尔综合理工学院） ； Canada CIFAR AI Chair（加拿大CIFAR人工智能讲席）
AI总结 提出SKILL.nb框架，通过选择性形式化和门控执行管理代理工作流的生命周期可靠性，在WebArena-Verified上单轮成功率达53.7%，重执行保留率91.7%。
