@inproceedings{DeColnetSzeider26,
 address = {Lisbon, Portugal},
 author = {Alexis de Colnet and
Stefan Szeider},
 booktitle = {Proceedings of the 20th Conference on Neurosymbolic Learning
and Reasoning (NeSy 2026)},
 keywords = {coe},
 note = {To appear},
 title = {{LLM}-Guided Semantic Vtrees for {SDD} Compilation},
 year = {2026}
}