Шаповалова, Світлана ІгорівнаКостенко, Максим Миколайович2026-07-302026-07-302026Костенко, М. М. Розв'язання логічних задач за допомогою методів ШІ : дипломна робота ... бакалавра : 122 Комп’ютерні науки / Костенко Максим Миколайович. – Київ, 2026. – 60 с.https://ela.kpi.ua/handle/123456789/82324Дипломна робота виконана на 59 сторінках, містить 13 ілюстрацій, одну таблицю, один додаток, 21 джерел у переліку посилань. Мета роботи – розробка програмного забезпечення для автоматизованого вирішення логічних задач на основі донавчання великої мовної моделі. Методами та засобами для досягнення мети виступають параметрично-ефективне донавчання, зокрема техніка низькорангової адаптації, методи квантування моделей, мову програмування Python, бібліотеки PyTorch, Hugging Face Transformers, PEFT, TRL, bitsandbytes, середовище розробки Google Colab, архітектуру нейронних мереж Meta-Llama-3.1. Результати роботи показують ефективність розробленого програмного забезпечення, яке може функціонувати на споживчому апаратному забезпеченні, зберігаючи при цьому якість логічних висновків та мінімізуючи частоту галюцинацій.60 с.ukвелика мовна модельлогічні задачідонавчанняLlama 3.1LoRAквантуванняGGUFсистемний промптланцюжок міркуваньоптимізаціяlarge language modellogical problemsfine-tuningquantizationsystem promptchain of thoughtoptimizationBachelor Thesis