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