Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://repository.hneu.edu.ua/handle/123456789/40270Повний запис метаданих
| Поле DC | Значення | Мова |
|---|---|---|
| dc.contributor.author | Shaposhnyk M. V. | - |
| dc.contributor.author | Minukhin S. V. | - |
| dc.date.accessioned | 2026-06-02T10:40:58Z | - |
| dc.date.available | 2026-06-02T10:40:58Z | - |
| dc.date.issued | 2026 | - |
| dc.identifier.citation | 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. | uk_UA |
| dc.identifier.uri | https://repository.hneu.edu.ua/handle/123456789/40270 | - |
| dc.description.abstract | 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. | uk_UA |
| dc.language.iso | en_US | uk_UA |
| dc.subject | artificial intelligence | uk_UA |
| dc.subject | LLM | uk_UA |
| dc.subject | Formal-of-Thought | uk_UA |
| dc.subject | DenseNet-121 | uk_UA |
| dc.subject | Retrieval-Augmented Generation | uk_UA |
| dc.subject | SMT solver | uk_UA |
| dc.title | Neuro-symbolic Formal Verification of Culinary instructions via ontology-grounded constraint satisfaction | uk_UA |
| dc.type | Thesis | uk_UA |
| Розташовується у зібраннях: | Статті (ІС) | |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| тези MicroCAD-2026_Shaposhnyk M.V., Minukhin S.V.pdf | 743,73 kB | Adobe PDF | Переглянути/відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.