Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://repository.hneu.edu.ua/handle/123456789/40270| Назва: | Neuro-symbolic Formal Verification of Culinary instructions via ontology-grounded constraint satisfaction |
| Автори: | Shaposhnyk M. V. Minukhin S. V. |
| Теми: | artificial intelligence LLM Formal-of-Thought DenseNet-121 Retrieval-Augmented Generation SMT solver |
| Дата публікації: | 2026 |
| Бібліографічний опис: | Shaposhnyk M. V. Neuro-symbolic Formal Verification of Culinary instructions via ontology-grounded constraint satisfaction / M. V. Shaposhnyk, S. V. Minukhin // Інформаційні технології: наука, техніка, технологія, освіта, здоров’я: тези доповідей ХXХІV міжнародної науково-практичної конференції MicroCAD-2026, 13-16 травня 2026 р. – Харків: НТУ «ХПІ», 2026. – С. 1477. |
| Короткий огляд (реферат): | This study proposes the «Formal-of-Thought» (FoT) approach—an architecture that shifts artificial intelligence from passive generation to active formal verification using the FoodOn ontology. FoT uses large language models (LLMs) as a specification compiler, «mapping» DenseNet-121 features to FoodOn proofs using the «Retrieval-Augmented Generation» method. Safety constraints are formulated as logical predicates, and compliance with them is verified using an SMT solver. |
| URI (Уніфікований ідентифікатор ресурсу): | https://repository.hneu.edu.ua/handle/123456789/40270 |
| Розташовується у зібраннях: | Статті (ІС) |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| тези MicroCAD-2026_Shaposhnyk M.V., Minukhin S.V.pdf | 743,73 kB | Adobe PDF | Переглянути/відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.