@misc{indiciaebe70457bf81a,
  title = {Lyra: A Hardware-Accelerated RISC-V Verification Framework with Generative Model-Based Processor Fuzzing},
  author = {Juncheng Huo and Yunfan Gao and Xinxin Liu and Sa Wang and Yungang Bao and Xitong Gao and Kan Shi},
  year = {2026},
  url = {https://arxiv.org/abs/2512.13686},
  note = {Source identifier: 2512.13686}
}