L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution. - Simeng Sun; Cheng-Ping Hsieh; Faisal Ladhak; Erik Arakelyan; Santiago Akle Serano; Boris Ginsburg (CoRR, 2025)