TY  - RPRT
TI  - Automated Multi-Line Bug Repair Using Model Checker Aided LLMs: A Case Study on RISC-V Processors
AU  - Debleena Das
AU  - Chandan Kumar Jha
AU  - Muhammad Hassan
AU  - Rolf Drechsler
AU  - Ansuman Banerjee
AU  - Subhra K. Das
AU  - Amlan Chakrabarti
PY  - 2026
UR  - https://arxiv.org/abs/2610.32597
ID  - 2610.32597
ER  -