Wan, Gwok-Waa, et al. “FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 2, Mar. 2026, pp. 1087-95, doi:10.1609/aaai.v40i2.37079.