TY  - RPRT
TI  - FVDebug: An LLM-Driven Debugging Assistant for Automated Root Cause Analysis of Formal Verification Failures
AU  - Yunsheng Bai
AU  - Ghaith Bany Hamad
AU  - Chia-Tung Ho
AU  - Syed Suhaib
AU  - Haoxing Ren
PY  - 2025
UR  - https://arxiv.org/abs/2510.15906
ID  - 2510.15906
ER  -