formal-theorems

#formal-theorems

Context：通过可组合沙箱程序、声明式布线及结构化交互实现主动目标导向智能

arXiv cs.AI ↗ · 2026-05-26 缓存

本文介绍了Context——一种替代反应式聊天机器人的主动目标导向智能体新架构。通过可组合沙箱程序、声明式布线和主动状态机，本文给出了证明效率提升的形式化定理，并提供了开源实现。

0 人收藏 0 人点赞