Проект Ankyra представляет собой нейро-символический движок, разработанный для борьбы с галлюцинациями в больших языковых моделях. Вероятностная природа стандартных LLM не позволяет им отличать реальные факты от сгенерированных утверждений, которые выглядят правдоподобно, но не имеют под собой фактической основы.
В основе работы Ankyra лежит разделение ролей: языковая модель выступает в качестве источника предложений, а символический движок берет на себя процесс принятия решений. Такой подход опирается на методы формальной логики для верификации рассуждений, что позволяет повысить точность выводов по сравнению с методами вроде chain-of-thought.
Проект опубликован в открытом доступе. Исходный код, документация и инструменты для проведения проверок доступны для свободного использования без ограничений. Разработчики предлагают данный метод как альтернативу существующим техникам, которые не дают гарантий корректности ответов при работе с данными.
