Wan, G.-W., Wong, S., Su, S., Niu, C., Wang, N., Wan, X., … Yang, J. (2026). FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification. Proceedings of the AAAI Conference on Artificial Intelligence, 40(2), 1087–1095. https://doi.org/10.1609/aaai.v40i2.37079