Nadia Polikarpova

Erforschen von Methoden zur Verbesserung der Programmieraufgaben-Leistung in Sprachmodellen mithilfe von Daten.

Ein Tool, das KI nutzt, um Hilfsbehauptungen für die Überprüfung von Dafny-Code zu generieren.

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