Loris D'Antoni

Le design modulaire améliore l'efficacité et la scalabilité de la synthèse de programmes.

Une nouvelle méthode simplifie la preuve des propriétés des programmes en utilisant la logique d'unréalisabilité.

Une nouvelle méthode pour des explications contrefactuelles cohérentes malgré les changements de modèle.

De nouvelles méthodes améliorent les résultats des modèles de langue tout en respectant les règles de grammaire.

Apprends à rédiger des spécifications pour des programmes avec des comportements complexes.

Ce papier présente une méthode pour créer automatiquement des sémantiques formelles en utilisant des interprètes.

Explorer de nouvelles méthodes pour une génération de programmes efficace.

Explorer les perceptions des parties prenantes sur l'équité des modèles d'apprentissage automatique au milieu de la multiplicité.