Нейросимволический метод: модель генерирует код, решатель отсекает
Разбор исследования о нейросимволическом подходе: языковая модель хорошо пишет и рассуждает словами, но проваливает строгую логику, потому что по своей природе предсказывает текст, а не выводит следствия. Предлагаемый метод — модель делает два десятка попыток перевести задачу с человеческого языка в программный код, а старые детерминированные решатели безжалостно отсекают варианты с логическими противоречиями. Так творческая часть остаётся за моделью, а гарантия правильности — за проверенной программой.
Гибрид: нейросеть генерирует варианты, решатель отсекает ложные — точность 80% вместо 38%.
Принцип отсюда прямо переносится на боты для заказчиков: модель понимает, что человек хочет, а сумму, срок и свободное время в расписании считает обычный код. Если в боте для клиента цена или запись будут вычисляться моделью, рано или поздно она соврёт — и разбираться с этим придётся ему.