АВТОМАТИЗОВАНЕ ДОВЕДЕННЯ ТЕОРЕМ ІЗ ВИКОРИСТАННЯМ МЕТОДІВ МАШИННОГО НАВЧАННЯ
Date
2025
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Стаття присвячена аналізу методів автоматизованого доведення теорем у сучасній
математиці та інформатиці з використанням машинного навчання. Розглянуто підходи до
генерації тактик, пошуку доказів та інтеграції моделей у формальні середовища. Описані
основні алгоритми, моделі трансформерів, проблеми інтеграції з системами доказів та
перспективи розвитку галузі.
The article is devoted to the analysis of methods for automated theorem proving in modern
mathematics and computer science using machine learning. Approaches to generating tactics, finding
evidence, and integrating models into formal environments are considered. The main algorithms,
transformer models, integration problems with evidence systems, and prospects for the development of
the field are described.
Description
Болюк, Г. Ю. АВТОМАТИЗОВАНЕ ДОВЕДЕННЯ ТЕОРЕМ ІЗ ВИКОРИСТАННЯМ МЕТОДІВ
МАШИННОГО НАВЧАННЯ / Г. Ю. Болюк // Магістерські студії. Альманах. - 2025. - Вип. 25. – Херсон ; Івано-Франківськ : ХДУ, 2025.
Keywords
машинне навчання, автоматизоване доведення теорем, тактика, пошук доказів, LeanDojo, автоматизація., machine learning, automated theorem proving, tactics, proof-finding, automation.