@misc{indiciae12f03f53a58b,
  title = {AssertMiner: Module-Level Spec Generation and Assertion Mining using Static Analysis Guided LLMs},
  author = {Hongqin Lyu and Yonghao Wang and Jiaxin Zhou and Zhiteng Chao and Tiancheng Wang and Huawei Li},
  year = {2025},
  url = {https://arxiv.org/abs/2511.10007},
  note = {Source identifier: 2511.10007}
}