Ankyra: нейро-символические рассуждения для борьбы с галлюцинациями LLM

Проект Ankyra предлагает подход к снижению галлюцинаций языковых моделей путем интеграции вероятностных нейросетей с детерминированными символьными решателями на основе формальной логики. Это позволяет моделям проводить более точные рассуждения, избегая ошибок, возникающих при отсутствии четких аналогий в данных.