@misc{indiciae2ff66d4c0baf,
  title = {Clover: A Neural-Symbolic Agentic Harness with Stochastic Tree-of-Thoughts for Verified RTL Repair},
  author = {Zizhang Luo and Yansong Xu and Runlin Guo and Fan Cui and Kexing Zhou and Mile Xia and Hongyuan Hou and Yuhao Luo and Yun Liang},
  year = {2026},
  url = {https://arxiv.org/abs/2604.17288},
  note = {Source identifier: 2604.17288}
}