@misc{indiciae9bb3466c79b1,
  title = {Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair},
  author = {Ha Trung Tran},
  year = {2026},
  url = {https://arxiv.org/abs/2607.28877},
  note = {Source identifier: 2607.28877}
}