АВТОМАТИЗОВАНЕ ДОВЕДЕННЯ ТЕОРЕМ ІЗ ВИКОРИСТАННЯМ МЕТОДІВ МАШИННОГО НАВЧАННЯ

Simple item page
dc.contributor.authorБолюк, Г. Ю.
dc.date.accessioned2025-12-19T11:29:32Z
dc.date.issued2025
dc.descriptionБолюк, Г. Ю. АВТОМАТИЗОВАНЕ ДОВЕДЕННЯ ТЕОРЕМ ІЗ ВИКОРИСТАННЯМ МЕТОДІВ МАШИННОГО НАВЧАННЯ / Г. Ю. Болюк // Магістерські студії. Альманах. - 2025. - Вип. 25. – Херсон ; Івано-Франківськ : ХДУ, 2025.
dc.description.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.
dc.identifier.urihttps://ekhsuir.kspu.edu/handle/123456789/21657
dc.subjectмашинне навчання
dc.subjectавтоматизоване доведення теорем
dc.subjectтактика
dc.subjectпошук доказів
dc.subjectLeanDojo
dc.subjectавтоматизація.
dc.subjectmachine learning
dc.subjectautomated theorem proving
dc.subjecttactics
dc.subjectproof-finding
dc.subjectautomation.
dc.titleАВТОМАТИЗОВАНЕ ДОВЕДЕННЯ ТЕОРЕМ ІЗ ВИКОРИСТАННЯМ МЕТОДІВ МАШИННОГО НАВЧАННЯ
dc.typeArticle

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Автоматизоване доведення теорем із використанням методів машинного навчання.pdf
Size:
121.6 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Магістерські студії (Вип. 21, 22, 23, 24,25)