@misc{indiciae54138288fa69,
  title = {Specification-Guided Generation for Large Language Models},
  author = {Alessandro Previti and Konstantinos Vandikas and Mario Alviano and Mats Carlsson and Albin Larsson Forsberg and Alexandros Nikou and Athanasios Karapantelakis and Aneta Vulgarakis Feljan},
  year = {2026},
  url = {https://arxiv.org/abs/2610.41511},
  note = {Source identifier: 2610.41511}
}