Tristan Cazenave

Esaminare modi per migliorare le prestazioni di Holophrasm nella dimostrazione di teoremi matematici.

EfficientFormer migliora le prestazioni del Go su computer usando un'architettura transformer.

EPIMC offre un metodo nuovo per migliorare il processo decisionale nei giochi con informazioni nascoste.

Questa ricerca mostra come l'IA migliora l'efficienza nella programmazione dei lavori.

Questa ricerca esamina come gli algoritmi di ricerca possano migliorare il testing delle congetture sui grafi.