标签
本文介绍了 Shepherd，这是一种面向元智能体的函数式编程模型和运行时底层架构，它使用 Lean 对操作进行形式化，并以类似 Git 的执行轨迹记录交互。该系统通过支持智能体状态的高效分叉与重放，在运行时干预、反事实优化和强化学习训练方面展示了显著的性能提升。