TY - RPRT TI - Error Detection and Correction for Interpretable Mathematics in Large Language Models AU - Yijin Yang AU - Cristina Cornelio AU - Mario Leiva AU - Paulo Shakarian PY - 2025 UR - https://arxiv.org/abs/2508.03500 ID - 2508.03500 ER -