Loris D'Antoni

Eine neue Methode für konsistente kontrafaktische Erklärungen trotz Modelländerungen.

Neue Methoden verbessern die Ausgaben von Sprachmodellen und halten dabei die Grammatikregeln ein.

Lern, wie man Spezifikationen für Programme mit komplexem Verhalten erstellt.

Dieses Papier stellt eine Methode vor, um automatisch formale Semantik mit Interpretern zu erstellen.

Neue Methoden zur effizienten Programmgenerierung erkunden.

Erforschung der Wahrnehmungen von Stakeholdern hinsichtlich Fairness in maschinellen Lernmodellen trotz Vielfältigkeit.