TY  - RPRT
TI  - Repairing LLM-Generated Specifications with Deterministic Diagnosis
AU  - Giovanni Vaccarino
AU  - Emanuele La Malfa
AU  - Dehai Min
AU  - Hanrong Zhang
AU  - Pier Luca Lanzi
AU  - Lu Cheng
AU  - Michael J. Wooldridge
AU  - Philip S. Yu
AU  - Sara Bernardini
PY  - 2026
UR  - https://arxiv.org/abs/2610.22568
ID  - 2610.22568
ER  -