Abstract
Alexis de Colnet, Stefan Szeider. LLM-Guided Semantic Vtrees for SDD Compilation. Proceedings of the 20th Conference on Neurosymbolic Learning and Reasoning (NeSy 2026), 2026. (Note: To appear)
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.