Xuenan Cao

FKEA bietet eine neue Möglichkeit, generative Modelle zu bewerten, ohne dass Referenzdatensätze nötig sind.

Die Nutzung von KI zum Schreiben formeller Beweise für anspruchsvolle Matheprobleme zeigt neue Wege auf.