Nadia Polikarpova

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.