TY  - RPRT
TI  - ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search
AU  - Vincenzo Collura
AU  - Karim Tit
AU  - Laura Bussi
AU  - Eleonora Giunchiglia
AU  - Maxime Cordy
PY  - 2025
UR  - https://arxiv.org/abs/2506.09701
ID  - 2506.09701
ER  -