В данном исследовании не принимали участия люди, не использовались животные, биологические образцы или данные пациентов. Таким образом, одобрение институционального этического комитета и информированное согласие не требовались.
Обзор дизайна исследования
Для повышения фактической достоверности ответов больших языковых моделей (LLM) была внедрена двухэтапная система верификации. Процедура включала генерацию ответа, извлечение утверждений, построение изолированных ссылок, верификацию на основе логического вывода на естественном языке (NLI), адаптивное статистическое принятие решений, селективную коррекцию и окончательную сборку ответа. Эффективность системы была оценена с использованием наборов данных TruthfulQA и FEVER.
Общая схема рабочего процесса
Запрос пользователя → Генерация первоначального ответа → Извлечение утверждений → Независимая генерация ссылок → NLI-верификация → Вычисление статистического порога → Коррекция утверждений → Итоговый верифицированный ответ. Общий рабочий процесс адаптивной системы верификации утверждений проиллюстрирован на Рисунке 1.
Подготовка набора данных
Набор данных TruthfulQA12, содержащий 817 ориентированных на факты вопросов, был загружен и подготовлен для оценки. Набор данных FEVER13 состоит из 185 445 аннотированных утверждений, помеченных как «Подтверждено» (Supported), «Опровергнуто» (Refuted) или «Недостаточно информации» (Not Enough Information); при оценке использовались размеченные данные разработки с полями утверждения, доказательства и эталонной метки. Каждое утверждение оценивалось на основе предоставленных доказательств, в то время как исходная метка FEVER сохранялась в качестве контрольного результата для верификации. Набор данных FEVER, содержащий пары «утверждение-доказательство» для проверки фактов, был получен и предварительно обработан. Входные вопросы и утверждения были преобразованы в стандартизированный текстовый формат. Перед проведением экспериментов были удалены дубликаты и неполные образцы. TruthfulQA был разделен на подмножества для валидации и тестирования. Примерно 20% образцов TruthfulQA (164 вопроса) использовались для настройки порога, а остальные 653 вопроса были зарезервированы для оценки производительности. Для FEVER утверждения, предоставленные в бенчмарке, использовались непосредственно в качестве единиц верификации и не подвергались процедуре генерации ответа и извлечения утверждений, применявшейся к TruthfulQA. Характеристики наборов данных бенчмарков, использованных для разработки и оценки системы, обобщены в Таблице 1.
Первичная генерация ответа
Каждый запрос был отправлен в базовую языковую модель. Ответы генерировались с использованием ядерного семплирования (nucleus sampling) при температуре 0,7 и значении top-p 0,9. Максимальная длина вывода была ограничена 256 токенами. Сгенерированные ответы сохранялись без какой-либо последующей обработки или ручного изменения. Сгенерированный текст направлялся непосредственно на этап извлечения утверждений.
Извлечение утверждений
Каждый сгенерированный ответ был разложен на независимо проверяемые фактические утверждения. Для выявления атомарных утверждений использовался структурированный запрос на декомпозицию. Составные утверждения были разделены на минимальные фактические единицы. Субъективные мнения, стилистические выражения и разговорные слова-филлеры были удалены. Каждое извлеченное утверждение было сохранено как отдельная единица верификации.
Пример:
Исходный ответ:
«Мария Кюри была физиком и химиком польского происхождения, которая провела новаторские исследования в области радиоактивности».
Извлеченные утверждения: (1) Мария Кюри родилась в Польше; (2) Мария Кюри была физиком и химиком; (3) Мария Кюри проводила исследования в области радиоактивности.
Создание изолированного референсного контроля:
Для каждого извлеченного утверждения была создана независимая фактическая ссылка. Модель-верификатор получала только исходный запрос пользователя. Доступ к первоначально сгенерированному ответу был ограничен во избежание предвзятости подтверждения. Для стимулирования кратких, основанных на доказательствах ответов использовался промпт на фактическое воспроизведение. Сгенерированные ссылки были сохранены для последующей проверки.
Верификация логического вывода на естественном языке
Каждая пара «утверждение — ссылка» была передана в предварительно обученную модель NLI (естественного логического вывода). Модель NLI классифицировала связь как: следствие (Entailment), нейтральную (Neutral) или противоречие (Contradiction). Были зафиксированы вероятности достоверности для всех трех классов. Каждому утверждению был присвоен знаковый показатель верификации: положительное значение для следствия, ноль для нейтральной связи или отрицательное значение для противоречия. Все показатели верификации были собраны для расчета порогового значения.
Адаптивное вычисление статистического порога
Доверительный интервал верификации, создаваемый моделью NLI, существенно варьируется в зависимости от ответов, поскольку разные запросы генерируют различное количество утверждений, разный уровень семантической сложности и разные распределения уверенности. Фиксированный глобальный порог предполагает, что все ответы имеют схожий профиль уверенности, что на практике встречается редко. Чтобы учесть эту вариативность, предлагаемая структура оценивает границу принятия решения индивидуально для каждого ответа, используя среднее значение и стандартное отклонение его показателей верификации. Среднее значение отражает общий уровень уверенности в ответе, в то время как стандартное отклонение характеризует разброс значений уверенности среди извлеченных утверждений. Такая адаптивная формулировка позволяет критерию принятия подстраиваться под неопределенность конкретного ответа, а не полагаться на единый порог для всех входных данных.
Были рассчитаны среднее значение (µ) и стандартное отклонение (σ) всех знаковых показателей верификации.
Адаптивный порог принятия решения рассчитывали следующим образом:

где τ представляет собой адаптивный порог, µ обозначает средний балл верификации, σ обозначает стандартное отклонение, а k представляет собой параметр чувствительности.
Параметр чувствительности был инициализирован на значении 0.7. Утверждения, классифицированные как «Следование» (Entailment) с показателями больше или равными +τ, были приняты. Утверждения, классифицированные как «Противоречие» (Contradiction) с показателями меньше или равными −τ, были отмечены для исправления. Утверждения с показателями в интервале (−τ, +τ) были оставлены как нейтральные.
Селективная коррекция пунктов формулы
Утверждение направлялось на исправление только в том случае, если модель NLI классифицировала пару «утверждение — ссылка» как противоречие (Contradiction) и соответствующий ей знаковый балл верификации удовлетворял критерию адаптивного порога si ≤ -τ. Таким образом, решение о корректировке совместно определялось меткой класса NLI и специфическим для конкретного ответа статистическим порогом. Утверждения, классифицированные как «Следование» (Entailment) со значением si были приняты, тогда как утверждения, попадающие в интервал -τ < si < Значения τ рассматривались как нейтральные и сохранялись без корректировки. Данный комбинированный критерий гарантировал, что корректировка применялась только к тем утверждениям, которые демонстрировали как семантическое противоречие, так и достаточно веские доказательства отрицательной верификации.
Реконструкция ответа
Принятые и исправленные утверждения были расположены в их исходной последовательности. Границы предложений были восстановлены для обеспечения читабельности. При необходимости были внесены незначительные грамматические правки. Сформированный результат был сохранен в качестве окончательного проверенного ответа.
Оценка эффективности
Эффективность системы оценивалась по четырем показателям: (1) Точность (Accuracy): доля ответов, которые остались фактически верными после верификации; (2) F1-мера (F1 Score): гармоническое среднее точности (precision) и полноты (recall) обнаружения галлюцинаций; (3) Задержка ответа (Response Latency): общее время обработки от момента подачи запроса до генерации верифицированного ответа; (4) Частота галлюцинаций (Hallucination Rate)

Задержка была представлена как среднее время выполнения по результатам повторных измерений. Поскольку значения задержки для каждого отдельного запуска не сохранялись, стандартные отклонения и доверительные интервалы не рассчитывались.
Оценка корректности с учетом специфики бенчмарка
Для TruthfulQA окончательный проверенный ответ сравнивали с эталонными ответами, подтвержденными людьми, и списками неправильных ответов. Ответ считался правильным, если содержащиеся в нем фактические утверждения соответствовали принятой информации об ответе и не содержали контента, соответствующего выявленным паттернам неправильных ответов. Для FEVER каждое утверждение в конечном результате оценивалось на основе соответствующего доказательства и исходной аннотации FEVER; утверждения со статусом Supported (подтверждено) считались фактически проверенными, а утверждения со статусом Refuted (опровергнуто) — неправильными. Случаи Not Enough Information (недостаточно информации) оставались неопределенными и не рассматривались как положительные фактические доказательства. Полученные решения на уровне отдельных утверждений объединялись по каждому бенчмарку для расчета сообщаемых показателей точности (Accuracy) и частоты галлюцинаций (Hallucination Rate).
Экспериментальная среда
Программный каркас был реализован с использованием Python 3.9. Операции обработки данных выполнялись с помощью библиотек для численного и табличного анализа. Модель NLI работала в режиме вывода без дополнительного дообучения. Эксперименты проводились на рабочей станции, оснащенной процессором Intel Core i5, 16 GB ОЗУ и 64-разрядной операционной системой. Все оценки проводились в режиме однопроходного вывода для обеспечения работы с низкой задержкой. Все эксперименты выполнялись с использованием идентичных аппаратных и программных конфигураций для обеспечения согласованности оценки различных наборов данных и базовых методов.
Ожидаемый результат
Данный протокол предназначен для принятия решений о верификации на уровне отдельных утверждений путем выявления потенциально необоснованных тезисов и выборочного направления на исправление тех утверждений, которые содержат явные противоречия. Ожидаемым результатом является верифицированный ответ с сокращением фактических несоответствий и ограниченными дополнительными затратами на обработку, в зависимости от показателей, полученных в ходе экспериментальной оценки.