Wan G-W, Wong S, Su S, Niu C, Wang N, Wan X, et al. FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification. AAAI [Internet]. 2026 Mar. 14 [cited 2026 May 27];40(2):1087-95. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/37079