TY  - RPRT
TI  - HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation
AU  - Jiaqi Yin
AU  - Zhan Song
AU  - Nicolas Bohm Agostini
AU  - Antonino Tumeo
AU  - Cunxi Yu
PY  - 2025
UR  - https://arxiv.org/abs/2506.02290
ID  - 2506.02290
ER  -