LLMs are Brittle to Simple Code Transformations: Introducing CETBench – A Benchmark for Code-Equivalence CheckingNeeva OzaIshaan Govilet al.2026ACL 2026Paper