Wan, G.-W.; Wong, S.; Su, S.; Niu, C.; Wang, N.; Wan, X.; Chen, Q.; Xing, M.; Zhang, J.; Ye, J. FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification. AAAI 2026, 40, 1087-1095.