Wan, G.-W. et al. 2026. FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification. Proceedings of the AAAI Conference on Artificial Intelligence. 40, 2 (Mar. 2026), 1087–1095. DOI:https://doi.org/10.1609/aaai.v40i2.37079.