@misc{indiciae33bddddeecf7,
  title = {FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification},
  author = {Gwok-Waa Wan and Shengchu Su and Ruihu Wang and Qixiang Chen and Sam-Zaak Wong and Mengnv Xing and Hefei Feng and Yubo Wang and Yinan Zhu and Jingyi Zhang and Jianmin Ye and Xinlai Wan and Tao Ni and Qiang Xu and Nan Guan and Zhe Jiang and Xi Wang and Yang Jun},
  year = {2025},
  url = {https://arxiv.org/abs/2507.04276},
  note = {Source identifier: 2507.04276}
}