Tristan Cazenave

Examinando maneras de mejorar el rendimiento de Holophrasm en la demostración de teoremas matemáticos.

EfficientFormer mejora el rendimiento en Go de computadora usando arquitectura transformer.

EPIMC ofrece un método nuevo para mejorar la toma de decisiones en juegos con información oculta.

Esta investigación muestra cómo la IA mejora la eficiencia en la programación de trabajos.

Esta investigación examina cómo los algoritmos de búsqueda pueden mejorar la prueba de conjeturas sobre grafos.