Zhicheng Yang

Neue Benchmarks sollen die Fähigkeiten von Modellen zur Generierung von Theoremen für automatisches Schliessen verbessern.

POETRY verbessert die Effizienz von Theorembeweisen durch seinen rekursiven Ansatz.

Neue Methoden und Benchmarks sollen die Formalisierung von Mathematik mit Lean 4 vereinfachen.

Neue Methode verbessert die Kommunikation zwischen Arzt und Patient mit Text und Bildern.

Forscher finden Wege, wie grosse Sprachmodelle ihr Wissen besser ausdrücken können.