@article{asemanticbasedoptimizationapproachfor,
  title = {A Semantic-based Optimization Approach for Repairing LLMs: Case Study on Code Generation},
  author = {Jian Gu and Aldeida Aleti and Chunyang Chen and Hongyu Zhang},
  year = {2025},
  eprint = {2503.12899},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2503.12899v2},
}