Converted, Not Equivalent: Benchmarking Codebase Conversion via Observational Equivalence

Linxin Song, Jiefeng Chen, Yue Huang +5

Coding agents increasingly act as codebase-scale collaborators that can assist with codebase conversion, but this progress has exposed a critical weakness: agents often over-trust…