НОВОСТЬ · RESEARCH · #471
Typed Domain Grounding: встраивание DSL в типизированный хост-язык для снижения галлюцинаций LLM
Статья на InfoQ представляет Typed Domain Grounding (TDG): встраивание домена как типизированного внутреннего DSL в хост-язык с богатым обучающим корпусом, чтобы ошибки домена проявлялись как ошибки типов/компиляции, а не как синтаксические выдумки модели. В бенчмарке из 50 задач TDG показал более высокую структурную достоверность и более низкий уровень галлюцинаций с Claude Sonnet 5 (и аналогичную динамику для GPT-4o в некоторых тестах) по сравнению с двумя терпимыми внешними DSL, но при этом имел более низкий показатель компиляции с первого раза и меньшую свободу нотации.
КЛЮЧЕВЫЕ ТЕЗИСЫ
- Статья на InfoQ представляет Typed Domain Grounding (TDG): встраивание домена как типизированного внутреннего DSL в хост-язык с богатым обучающим корпусом, чтобы ошибки домена проявлялись как ошибки типов/компиляции, а не как синтаксические выдумки модели.
- В бенчмарке из 50 задач TDG показал более высокую структурную достоверность и более низкий уровень галлюцинаций с Claude Sonnet 5 (и аналогичную динамику для GPT-4o в некоторых тестах) по сравнению с двумя терпимыми внешними DSL, но при этом имел более низкий показатель компиляции с первого раза и меньшую свободу нотации.
- Это важно, потому что TDG предлагает практический способ сократить тихие синтаксические галлюцинации при генерации DSL моделями, превращая многие ошибки в обнаруживаемые ошибки типов/компиляции вместо незаметных промахов.
ПОЧЕМУ ЭТО ВАЖНО
Это важно, потому что TDG предлагает практический способ сократить тихие синтаксические галлюцинации при генерации DSL моделями, превращая многие ошибки в обнаруживаемые ошибки типов/компиляции вместо незаметных промахов.