Roger Grosse

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

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

Die Bedeutung der Datenbewertung für Sprachmodelle und ihre Auswirkungen untersuchen.

2025-08-09T02:43:06+00:00 ― 7 min Lesedauer

Eine neue Methode verbessert die Schätzung von Unsicherheiten in Vorhersagen von maschinellem Lernen.

2025-08-02T15:36:54+00:00 ― 9 min Lesedauer