@misc{indiciae5539716843d3,
  title = {Automated Multi-Line Bug Repair Using Model Checker Aided LLMs: A Case Study on RISC-V Processors},
  author = {Debleena Das and Chandan Kumar Jha and Muhammad Hassan and Rolf Drechsler and Ansuman Banerjee and Subhra K. Das and Amlan Chakrabarti},
  year = {2026},
  url = {https://arxiv.org/abs/2610.32597},
  note = {Source identifier: 2610.32597}
}