@misc{indiciae4f7c2609ef7a,
  title = {Generating Streamlining Constraints with Large Language Models},
  author = {Florentina Voboril and Vaidyanathan Peruvemba Ramaswamy and Stefan Szeider},
  year = {2025},
  doi = {10.1613/jair.1.18965},
  url = {https://arxiv.org/abs/2408.10268},
  note = {Source identifier: 2408.10268}
}