Символический временный надзор за агентами ЛЛМ, использующими контракты

arXiv:2609.18128v1 Annualce Type: New Humber Abstract: Major Lange Model (LLM), дополненные инструментами, могут автоматизировать сложные многоступенчатые задачи, такие как вебнавигация, разработка кодов и организация рабочих процессов, действуя по внешним системам с помощью инструментов. Однако галлюцинации, нестабильность в распределении и состязательные манипуляции в МЛМ, а также необратимые последствия некоторых призывов к инструментам могут привести к вредным последствиям. Существующие гарантии либо засекреченные траектории, зарегистрированные в пост-специальном порядке со стохастическими судьями ЛЛМ, либо блокирующие небезопасные действия по одному звонку за раз, и ни один детерминистский артефакт не поддерживает обе роли. Мы представляем Контрагента, договорную основу для символического временного надзора за агентами ЛЖМ. Контроагент фиксирует поведение агента как последовательность звонков и формализует его в качестве следа над фиксированным набором поддающихся проверке основных параметров. Затем она определяет необходимое поведение с использованием предполагающих гарантийных контрактов в линейной временной логике по отношению к конечным следам (LTLf). Каждая вещь