Swarat Chaudhuri

Une nouvelle méthode améliore l'apprentissage des agents RL grâce à des récompenses structurées.

Une nouvelle méthode améliore la régression symbolique en utilisant des modèles de langage pour une meilleure analyse des données.

C3 allie apprentissage et vérification pour améliorer la gestion de la congestion réseau.