@misc{indiciae162caca66409,
  title = {Repairing LLM-Generated Specifications with Deterministic Diagnosis},
  author = {Giovanni Vaccarino and Emanuele La Malfa and Dehai Min and Hanrong Zhang and Pier Luca Lanzi and Lu Cheng and Michael J. Wooldridge and Philip S. Yu and Sara Bernardini},
  year = {2026},
  url = {https://arxiv.org/abs/2610.22568},
  note = {Source identifier: 2610.22568}
}