@misc{indiciae36ba9356bcea,
  title = {Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models},
  author = {Daniel Koh and Yannic Noller and Corina S. Pasareanu and Adrians Skapars and Youcheng Sun},
  year = {2025},
  url = {https://arxiv.org/abs/2506.08171},
  note = {Source identifier: 2506.08171}
}