Jinwoo Kim

Combiner des modèles 2D et 3D améliore la précision des prédictions des propriétés moléculaires.

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

Explore comment des programmes informatiques peuvent être générés automatiquement pour répondre à des besoins spécifiques.

Une nouvelle méthode réduit la taille des réseaux de neurones tout en préservant la performance.