Researchers have created a tool-supported workflow to identify common mistakes in mathematical modeling using LLMs. The workflow uses an LLM to generate bug-fixing transformations that translate incorrect formalizations into correct ones, which are then validated algorithmically. This approach can help instructors and researchers identify common mistakes and provide targeted feedback to students.