TY  - RPRT
TI  - Clover: A Neural-Symbolic Agentic Harness with Stochastic Tree-of-Thoughts for Verified RTL Repair
AU  - Zizhang Luo
AU  - Yansong Xu
AU  - Runlin Guo
AU  - Fan Cui
AU  - Kexing Zhou
AU  - Mile Xia
AU  - Hongyuan Hou
AU  - Yuhao Luo
AU  - Yun Liang
PY  - 2026
UR  - https://arxiv.org/abs/2604.17288
ID  - 2604.17288
ER  -