Details

Title Исследование и реализация методов автоматической проверки утверждений на основе больших языковых моделей и открытых источников: выпускная квалификационная работа магистра: направление 09.04.03 «Прикладная информатика» ; образовательная программа 09.04.03_04 «Интеллектуальные технологии управления знаниями и данными» = Research and Implementation of Methods for Automatic Claim Verification Based on Large Language Models and Open Sources
Creators Руденко Михаил Алексеевич
Scientific adviser Хахина Анна Михайловна
Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности
Imprint Санкт-Петербург, 2026
Collection Выпускные квалификационные работы ; Общая коллекция
Subjects автоматический фактчекинг ; открытый веб ; поиск доказательств ; верификация утверждений ; надежность источников ; automatic fact-checking ; open web ; evidence retrieval ; claim verification ; source reliability
Document type Master graduation qualification work
Language Russian
Level of education Master
Speciality code (FGOS) 09.04.03
Speciality group (FGOS) 090000 - Информатика и вычислительная техника
DOI 10.18720/SPBPU/3/2026/vr/vr26-4881
Rights Доступ по паролю из сети Интернет (чтение, печать, копирование)
Additionally New arrival
Record key ru\spstu\vkr\45054
Record create date 9/4/2026

Allowed Actions

–

Action 'Read' will be available if you login or access site from another network

Action 'Download' will be available if you login or access site from another network

Group Anonymous
Network Internet

В работе рассматривается автоматическая проверка фактологических утверждений на основе больших языковых моделей и открытых источников. Объект исследования — процесс поиска, отбора и интерпретации доказательств при проверке утверждений в открытом вебе. Цель работы состоит в исследовании существующих подходов, разработке многошагового алгоритма верификации составных утверждений и реализации программной системы, формирующей интерпретируемый вердикт с указанием найденных источников. Методология работы включает анализ научных и программных подходов к фактчекингу, проектирование алгоритма декомпозиции и агрегации промежуточных решений, разработку серверной части и веб-интерфейса, а также экспериментальное сравнение вариантов проверки. Экспериментальная оценка проведена на наборах HOVER и AVeriTeC с использованием метрик Accuracy, Macro-F1, precision и recall по классам. В результате реализована система интерактивного фактчекинга с поиском доказательств, учетом надежности источников, журналом выполнения, цитатами и итоговым объяснением. Показано, что качество проверки существенно зависит от полноты и релевантности найденных доказательств. Результаты могут применяться при разработке систем поддержки фактчекинга, анализа сообщений и предварительной оценки достоверности утверждений.

The thesis studies methods for automatic verification of factual claims using large language models and open sources. The aim of the work is to analyze existing approaches, develop a multi-step algorithm for verifying composite claims, and implement a software system that produces an interpretable verdict supported by retrieved sources. The study compares claim classification methods with given evidence and proposes an algorithm that includes decomposition, information search, fragment selection and aggregation of intermediate decisions. The implemented system includes a server component, a task execution mechanism and a web interface for running checks, inspecting execution logs, sources, quotations and the final conclusion. The experimental evaluation is carried out on HOVER and AVeriTeC using Accuracy, Macro-F1, precision and recall. The results show that verification quality strongly depends on the completeness and relevance of the retrieved evidence. With prepared evidence, the verifier achieves higher quality than in the mode with independent search in open sources. The results may be used in systems for fact-checking support, message analysis and preliminary assessment of claim reliability.

Network User group Action
ILC SPbPU Local Network All
Read Print Download
Internet Authorized users SPbPU
Read Print Download
Internet Anonymous
  • Исследование и реализация методов автоматической проверки утверждений на основе больших языковых моделей и открытых источников
    • Введение
    • 1. Анализ существующих подходов к автоматической проверке утверждений
    • 2. Разработка алгоритма многошаговой верификации составных фактологических утверждений
    • 3. Проектирование системы интерактивного фактчекинга на основе многошаговой верификации
    • 4. Организация поиска информации и интеграция модуля поиска с модулем верификации
    • 5. Программная реализация системы и разработка веб-приложения
    • 6. Экспериментальная валидация системы фактчекинга
    • Заключение
    • Список использованных источников
    • Приложение 1 Исходный код
...