@misc{indiciaeef654da37c4f,
  title = {Compiler Bugs Detection in Logic Synthesis Tools via Linear Upper Confidence Bound},
  author = {Hui Zeng and Zhihao Xu and Hui Li and Siwen Wang and Qian Ma},
  year = {2025},
  url = {https://arxiv.org/abs/2509.01149},
  note = {Source identifier: 2509.01149}
}