@misc{indiciae244aa37c8f2a,
  title = {VClare: Resolving Imperfect Specifications in LLM-Based Verilog Generation},
  author = {Zhuorui Zhao and Bing Li and Yu Li and Zheyu Yan and Ulf Schlichtmann},
  year = {2026},
  url = {https://arxiv.org/abs/2607.24854},
  note = {Source identifier: 2607.24854}
}