LLMs are Brittle to Simple Code Transformations: Introducing CETBench - A Benchmark for Code-Equivalence Checking

arXiv:2506.04019 · cs.SE, cs.CL, cs.LG, cs.PL · Submitted 2025-06-04 · Read on arXiv

cs.SE, cs.CL, cs.LG, cs.PL

Submitted: 2025-06-04

Updated: 2026-10-20

Terminology

• Benchmark — 2× in this paper · explained in 2 episodes
• Ablation — 1× in this paper · explained in 1 episode
• Benchmarking — 1× in this paper · explained in 4 episodes
• Fine-Tuning — 1× in this paper · explained in 5 episodes
• Semantic Understanding — 1× in this paper · explained in 2 episodes

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation
• Incentives and Outcomes in Bug Bounties