@misc{indiciae411b4647fcfa,
  title = {Functionally Equivalent or Not? Graph-Grounded Differential Surrogate Execution for Code Equivalence},
  author = {Amit Kachroo and Like Hui and Haitao Mao and Yuhao Zhang and Nguyen Vo},
  year = {2026},
  url = {https://arxiv.org/abs/2610.04371},
  note = {Source identifier: 2610.04371}
}