G.-W. Wan, “FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification”, AAAI, vol. 40, no. 2, pp. 1087–1095, Mar. 2026.