TY  - RPRT
TI  - AssertMiner: Module-Level Spec Generation and Assertion Mining using Static Analysis Guided LLMs
AU  - Hongqin Lyu
AU  - Yonghao Wang
AU  - Jiaxin Zhou
AU  - Zhiteng Chao
AU  - Tiancheng Wang
AU  - Huawei Li
PY  - 2025
UR  - https://arxiv.org/abs/2511.10007
ID  - 2511.10007
ER  -