Jinwoo Kim

Combinare modelli 2D e 3D aumenta la precisione nella previsione delle proprietà molecolari.

Un nuovo metodo semplifica la dimostrazione delle proprietà dei programmi usando la logica di non realizzabilità.

Esplora come i programmi per computer possano essere generati automaticamente per soddisfare requisiti specifici.

Un metodo nuovo riduce le dimensioni delle reti neurali mantenendo le prestazioni.