A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design
2508.03665v1
cs.LG, cs.AI, I.2.7; I.2.2; I.1.2; D.1.0
2025-08-06
Авторы:
Claudiu Leoveanu-Condrei
Резюме на русском
Большие языковые модели генерируют убедительный текст, но не дают формальных гарантий корректности. Авторы переносят идею Design by Contract (DbC) на LLM, внедряя контрактный слой между вызывающим кодом и моделью. Каждый вызов сопровождается контрактом, задающим типовые и семантические ограничения на вход/выход; при нарушении запускается вероятностная дообработка, возвращающая результат в допустимое множество. Контракты декларируются как условия на строго типизированные структуры данных, а валидаторы пишет сам разработчик. Доказано, что два агента, удовлетворяющие одним и тем же контрактам, функционально эквивалентны в их рамках. Работа открывает путь к доверенным LLM-агентам без переобучения моделей.
Abstract
Generative models, particularly Large Language Models (LLMs), produce fluent
outputs yet lack verifiable guarantees. We adapt Design by Contract (DbC) and
type-theoretic principles to introduce a contract layer that mediates every LLM
call. Contracts stipulate semantic and type requirements on inputs and outputs,
coupled with probabilistic remediation to steer generation toward compliance.
The layer exposes the dual view of LLMs as semantic parsers and probabilistic
black-box components. Contract satisfaction is probabilistic and semantic
validation is operationally defined through programmer-specified conditions on
well-typed data structures. More broadly, this work postulates that any two
agents satisfying the same contracts are \emph{functionally equivalent} with
respect to those contracts.