Auf Large Language Models (LLMs) gestützte Künstliche Intelligenz findet zunehmend Verbreitung in verschiedensten Anwendungsbereichen: Bild- und Videoerzeugung und Texterzeugung nach umgangssprachlichen Vorgaben (Prompts) sind die anschaulichsten. Etwas abstrakter erscheint die Unterstützung beim Programmieren; doch bereits weit fortgeschritten: Dank formeller Vorgaben von Programmiersprachen e
