Wan, Gwok-Waa, SamZaak Wong, Shengchu Su, Chenxu Niu, Ning Wang, Xinlai Wan, Qixiang Chen, et al. 2026. “FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (2):1087-95. https://doi.org/10.1609/aaai.v40i2.37079.