2 papers
cs.AI2026
Neuro-symbolic AI for Industrial Configuration
Danilo Valerio, Philipp Kogler, Stefan Bischof +2
Large Language Models (LLMs) have shown impressive performance on a wide range of generative tasks. Yet their probabilistic nature makes them, in isolation, fundamentally unsuited…
cs.AI2026
Ontology-Mediated Neurosymbolic Constraint Acquisition from Multiple Stakeholders
Stefan Bischof, Juliana Kainz, Danilo Valerio
Neurosymbolic research typically assumes a pre-existing symbolic specification, leaving the upstream challenge of acquiring and formalizing requirements and constraints largely una…