Heike Leitte

Combining Formal Reasoning and LLMs for Scenario-Based Educational STEM Exercises

Abstract Large language models (LLMs) enable scalable generation of educational exercises for science, technology, engineering, and mathematics (STEM) but often produce mathematically invalid or physically inconsistent problems, while manual authoring remains accurate but hard to...