★ 3
CEDAR：自动机作为语言引导具身行为的可验证接口
CEDAR框架将自然语言指令和约束转化为确定性有限自动机，实现可验证的具身行为控制。在Minecraft实验中，CEDAR能维持基线模型无法保持的时空约束，并减少LLM查询次数，展示了正则语言作为验证层的实用性。
arXiv cs.AI63 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
CEDAR框架将自然语言指令和约束转化为确定性有限自动机，实现可验证的具身行为控制。在Minecraft实验中，CEDAR能维持基线模型无法保持的时空约束，并减少LLM查询次数，展示了正则语言作为验证层的实用性。