@misc{indiciae2aa5a866c37d,
  title = {Automatic Syntax Error Repair for Discrete Controller Synthesis using Large Language Model},
  author = {Yusei Ishimizu and Takuto Yamauchi and Sinan Chen and Jinyu Cai and Jialong Li and Kenji Tei},
  year = {2025},
  url = {https://arxiv.org/abs/2512.07261},
  note = {Source identifier: 2512.07261}
}