@misc{indiciae69667e5cd89b,
  title = {Trust, but Validate the Instrument: Auditing AI-Generated RTL Verification Plans on Authored Security-Regression Proxies},
  author = {Hang Xiao and Chuhong Xu and Kainan Zhou and Gangzhen Qian and Lu Yi},
  year = {2026},
  url = {https://arxiv.org/abs/2609.19844},
  note = {Source identifier: 2609.19844}
}