:tada: Our paper on The Path Not Taken: Duality in Reasoning about Program Execution, is accepted for publication at the 64th Annual Meeting of the Association for Computational Linguistics - ACL 2026.