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

ClarifySTL：通过需求澄清实现STL变换的交互式LLM代理框架

信号时序逻辑（STL）是一种用于指定物理-网络系统（CPS）实时行为的形式语言。将自然语言需求自动转换为STL规范已受到广泛关注。最近利用大型语言模型（LLMs）的研究已经展示了

作者:Yue Fang, Zhi Jin, Jie An · 语言:en

前往原址学习

简介

信号时序逻辑（STL）是一种用于指定物理-网络系统（CPS）实时行为的形式语言。将自然语言需求自动转换为STL规范已受到广泛关注。最近利用大型语言模型（LLMs）的研究已经展示了

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