Дадиверін, В.В. і Бісікало, О.В. 2026. АВТОМАТИЗОВАНА ПЕРЕВІРКА ТВЕРДЖЕНЬ З ВИКОРИСТАННЯМ RAG-МЕХАНІЗМУ ТА КЛАСИФІКАЦІЇ ОЗНАК. Інформаційні технології та суспільство. 1 (20) (Чер 2026), 6-13. DOI:https://doi.org/10.32689/maup.it.2026.1.1.