Yuhuai Wu

Wir stellen REFACTOR vor, ein System zur automatischen Theoremextraktion aus mathematischen Beweisen.

2025-09-04T05:19:12+00:00 ― 8 min Lesedauer

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

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