@article{wan2026fixme,
  title = {FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification},
  author = {Wan, Gwok-Waa and Wong, SamZaak and Su, Shengchu and Niu, Chenxu and Wang, Ning and Wan, Xinlai and Chen, Qixiang and Xing, Mengnv and Zhang, Jingyi and Ye, Jianmin and Wang, Yubo and Song, Rongchang and Ni, Tao and Xu, Qiang and Guan, Nan and Jiang, Zhe and Wang, Xi and Chen, Yong and Yang, Jun},
  journal = {Proceedings of the AAAI Conference on Artificial Intelligence},
  volume = {40},
  number = {2},
  pages = {1087--1095},
  year = {2026},
  month = {Mar},
  publisher = {Association for the Advancement of Artificial Intelligence (AAAI)},
  doi = {10.1609/aaai.v40i2.37079},
  url = {https://doi.org/10.1609/aaai.v40i2.37079}
}