@misc{indiciaed88f800eccf5,
  title = {AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction},
  author = {Enyuan Tian and Yiwei Ci and Qiusong Yang and Yufeng Li and Zhichao Lyu},
  year = {2025},
  url = {https://arxiv.org/abs/2507.10338},
  note = {Source identifier: 2507.10338}
}