@misc{indiciae15f0c4c84784,
  title = {STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification},
  author = {Saeid Rajabi and Chengmo Yang and Satwik Patnaik},
  year = {2026},
  url = {https://arxiv.org/abs/2601.19903},
  note = {Source identifier: 2601.19903}
}