@misc{indiciaec958899abcb5,
  title = {SLED-IFV: Solver-Validated LLM-Guided Decomposition for Scalable Hardware Information-Flow Verification},
  author = {Liangtao Dai and Yimin Gao and Melika Morsali and Mircea Stan},
  year = {2026},
  url = {https://arxiv.org/abs/2609.25637},
  note = {Source identifier: 2609.25637}
}