Schoenfeld’s Anatomy of Mathematical Reasoning by Language Models has been selected as “SAC Highlight” on ACL 2026.