Abschlussvortrag: Untersuchung des Effekts von Theorembeweisern als Unterstützung auf die Argumentationsfähigkeiten von großen Sprachmodel