TY  - RPRT
TI  - Learning Symbolic Constraint Representations from Examples: A Neuro-Symbolic Approach
AU  - Nassim Belmecheri
AU  - Arnaud Gotlieb
AU  - Nadjib Lazaar
AU  - Helge Spieker
PY  - 2026
UR  - https://arxiv.org/abs/2609.12267
ID  - 2609.12267
ER  -