Evaluating Grounded Reasoning by Code-Assisted Large Language Models for Mathematics. - Zena Al-Khalili; Nick Howell; Dietrich Klakow (CoRR, 2025)