Return to Article Details Error Detection and Correction for Interpretable Mathematics in Large Language Models Download Download PDF