TY  - RPRT
TI  - Symbolon: Symbolic Execution by Learning Code Transformation
AU  - Jie Zhu
AU  - Penghui Li
AU  - Zhongxuan Li
AU  - Chihao Shen
AU  - Ziyang Li
AU  - Yizheng Chen
AU  - Kexin Pei
PY  - 2026
UR  - https://arxiv.org/abs/2606.29108
ID  - 2606.29108
ER  -