Abschlussvortrag: Zielgerichtetes Reasoning in der Prädikatenlogik durch Lernen aus Beweisen mit Hilfe großer Sprachmodelle