@misc{indiciaee225cc04f84c,
  title = {Symbolon: Symbolic Execution by Learning Code Transformation},
  author = {Jie Zhu and Penghui Li and Zhongxuan Li and Chihao Shen and Ziyang Li and Yizheng Chen and Kexin Pei},
  year = {2026},
  url = {https://arxiv.org/abs/2606.29108},
  note = {Source identifier: 2606.29108}
}