察元AI教程库 · 文章 · 智能体

$λ_A$：一种用于LLM代理组合的带类型的λ演算

现有的LLM代理框架缺乏形式语义：没有一种原则性的方法来判断代理配置是否正确或是否会终止。我们提出了$λ_A$，一种用于代理组合的带oracle调用和有界固定点的类型λ演算，扩展了简单类型λ演算

作者:Qin Liu · 语言:en

前往原址学习

简介

现有的LLM代理框架缺乏形式语义：没有一种原则性的方法来判断代理配置是否正确或是否会终止。我们提出了$λ_A$，一种用于代理组合的带oracle调用和有界固定点的类型λ演算，扩展了简单类型λ演算

返回教程库 · 察元AI产品家族