Think Like You Execute: Verifiable Chain of Thought from Program TracesShailja ThakurVaibhav Saxenaet al.2026ACL 2026Conference paper