@article{geqomlacceleratedsemanticequivalence,
  title = {GEqO: ML-Accelerated Semantic Equivalence Detection},
  author = {Brandon Haynes and Rana Alotaibi and Anna Pavlenko and Jyoti Leeka and Alekh Jindal and Yuanyuan Tian},
  year = {2024},
  eprint = {2401.01280},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2401.01280v1},
}