Swarat Chaudhuri

Eine Methode zur besseren Codegenerierung in der Datenwissenschaft unter Verwendung von Eingabe-Ausgabe-Spezifikationen.

Eine neue Methode verbessert das Lernen von RL-Agenten durch strukturierte Belohnungen.

Eine neue Methode verbessert die symbolische Regression mithilfe von Sprachmodellen für eine bessere Datenanalyse.

C3 kombiniert Lernen und Verifizierung, um das Verkehrsmanagement im Netzwerk zu verbessern.