Wenda Li

Die DTV-Methode verbessert die Zuverlässigkeit der Antworten von grossen Sprachmodellen bei Matheproblemen.

2025-08-25T15:57:24+00:00 ― 7 min Lesedauer

POETRY verbessert die Effizienz von Theorembeweisen durch seinen rekursiven Ansatz.

2025-08-08T03:24:48+00:00 ― 6 min Lesedauer

Forschung verbessert die Datenerzeugung zur Validierung mathematischer Beweise mit KI.

2025-08-08T01:42:06+00:00 ― 6 min Lesedauer

Lern, wie man Modelle für Texteinbettungen schlau und effektiv trainiert.

2025-08-01T10:38:54+00:00 ― 5 min Lesedauer