Evaluating the Generalization Capabilities of Large Language Models on Code Reasoning. - Rem Yang; Julian Dai; Nikos Vasilakis; Martin C. Rinard (CoRR, 2025)