CEDAR: Автоматы как проверяемые интерфейсы для языковых воплощений
arXiv:2608.27797v1 Задание на естественном языке воплощенных агентов редко является просто спецификацией цели: пользователи также накладывают ограничения, которые должны сохраняться, пока мир меняется. Код-генерирующие LLM-агенты могут создавать правдоподобное поведение для таких инструкций, но их…