TY  - RPRT
TI  - Converted, Not Equivalent: Benchmarking Codebase Conversion via Observational Equivalence
AU  - Linxin Song
AU  - Jiefeng Chen
AU  - Yue Huang
AU  - Bhavana Dalvi Mishra
AU  - Chi Wang
AU  - Jieyu Zhao
AU  - Jinsung Yoon
AU  - Tomas Pfister
PY  - 2026
UR  - https://arxiv.org/abs/2605.29054
ID  - 2605.29054
ER  -