DOP: Diagnostic-Oriented Prompting for Large Language Models in Mathematical Correction | Synapse