TY - RPRT TI - Finding Common Mistakes In Modelling With Mathematical Formalisms Using LLMs AU - Lilian Killich AU - Marko Schmellenkamp AU - Fabian Vehlken AU - Thomas Zeume PY - 2026 UR - https://arxiv.org/abs/2609.17111 ID - 2609.17111 ER -