LLM-Based Multi-Artifact Consistency Verification for Programming Exercise Quality Assurance. - Felix T. J. Dietrich; Yuchen Zhou; Tobias Wasner; Stephan Krusche; Maribel Acosta (Koli Calling, 2025)