CONF Ranaldi_ACL2025_2025/IDIAP Improving chain-of-thought reasoning via quasi-symbolic abstractions Ranaldi, Leonardo Valentino, Marco Polonsky, Alexander Freitas, Andre 63rd Annual Meeting of the Association for Computational Linguistics 2025