Wan, Gwok-Waa, SamZaak Wong, Shengchu Su, Chenxu Niu, Ning Wang, Xinlai Wan, Qixiang Chen, et al. “FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification”. Proceedings of the AAAI Conference on Artificial Intelligence 40, no. 2 (March 14, 2026): 1087–1095. Accessed May 27, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/37079.