Calc-X and Calcformers: Empowering Arithmetical Chain-of-Thought through Interaction with Symbolic Systems. - Kadlcík, Marek; Stefánik, Michal; Sotolár, Ondrej; Martinek, Vlastimil (2023)