TY  - RPRT
TI  - Compiler Bugs Detection in Logic Synthesis Tools via Linear Upper Confidence Bound
AU  - Hui Zeng
AU  - Zhihao Xu
AU  - Hui Li
AU  - Siwen Wang
AU  - Qian Ma
PY  - 2025
UR  - https://arxiv.org/abs/2509.01149
ID  - 2509.01149
ER  -