selective-formalization

介绍了SKILL.nb，一个通过证据校准的生命周期策略来管理可复用智能体工作流的框架，具有选择性形式化和门控条件执行等特点。在网页自动化基准测试中取得了显著改进，并展示了对环境漂移的鲁棒性。