@misc{indiciaea0cef101554f,
  title = {Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking},
  author = {Tuan Truong Vu and Cheng Tan},
  year = {2026},
  url = {https://arxiv.org/abs/2610.28429},
  note = {Source identifier: 2610.28429}
}