Neuro-symbolic Formal Verification of Culinary instructions via ontology-grounded constraint satisfaction

Скорочена інформація про документ
dc.contributor.authorShaposhnyk M. V.
dc.contributor.authorMinukhin S. V.
dc.description.abstractThis 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.
dc.identifier.citationShaposhnyk 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.
dc.identifier.urihttps://repository.hneu.edu.ua/handle/123456789/40270
dc.language.isoen_US
dc.subjectartificial intelligence
dc.subjectLLM
dc.subjectFormal-of-Thought
dc.subjectDenseNet-121
dc.subjectRetrieval-Augmented Generation
dc.subjectSMT solver
dc.titleNeuro-symbolic Formal Verification of Culinary instructions via ontology-grounded constraint satisfaction
dc.typeThesis

Файли

Контейнер файлів

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
тези MicroCAD-2026_Shaposhnyk M.V., Minukhin S.V.pdf
Розмір:
743.73 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити

Ліцензійна угода

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Статті (ІС)