Jinwoo Kim

Combinar modelos 2D y 3D mejora la precisión de la predicción de propiedades moleculares.

Un nuevo método simplifica la prueba de propiedades de programas usando lógica de no realizabilidad.

Explora cómo se pueden generar automáticamente programas de computadora para cumplir con requisitos específicos.

Un nuevo método reduce el tamaño de las redes neuronales sin perder rendimiento.