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 |
|
| Internet | Authorized users SPbPU |
|
| Internet | Anonymous |
|
- Исследование и реализация методов автоматической проверки утверждений на основе больших языковых моделей и открытых источников
- Введение
- 1. Анализ существующих подходов к автоматической проверке утверждений
- 2. Разработка алгоритма многошаговой верификации составных фактологических утверждений
- 3. Проектирование системы интерактивного фактчекинга на основе многошаговой верификации
- 4. Организация поиска информации и интеграция модуля поиска с модулем верификации
- 5. Программная реализация системы и разработка веб-приложения
- 6. Экспериментальная валидация системы фактчекинга
- Заключение
- Список использованных источников
- Приложение 1 Исходный код