Finding Common Mistakes In Modelling With Mathematical Formalisms Using LLMs

arXiv:2609.17111 · cs.CY, cs.AI, cs.LO · Submitted 2026-09-15 · Read on arXiv

cs.CY, cs.AI, cs.LO

Submitted: 2026-09-15

Updated: 2026-09-15

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Clustering — 7× in this paper · explained in 2 episodes
• Formal Methods — 1× in this paper · explained in 3 episodes
• Initial Data — 1× in this paper · explained in 2 episodes
• LLM Integration — 1× in this paper · explained in 2 episodes
• Large Language Models (LLMs) — 1× in this paper · explained in 6 episodes
• Verification — 1× in this paper · explained in 2 episodes

Sources

• gpt-oss-120b & gpt-oss-20b Model Card
• Assessing Large Language Models for Automated Feedback Generation in Learning Programming Problem Solving

Related papers

• Reasoning Enhances Robustness to Prompt Injection in LLM-Based Consensus
• Generative AI Purpose-built for Social and Mental Health: A Real-World Pilot
• PersonaMem-v3: Toward Omni-Platform Personal Intelligence for Holistic User Understanding, Recommendation, and Agentic Tasks
• What is an intelligent system?
• AI University: An LLM-Powered Learning Assistant for Engineering---A Finite Element Method Case Study
• Generative AI Use in Entrepreneurship: An Integrative Review and an Empowerment-Entrapment Framework