Título: Integración de información cognitiva en modelos de lenguaje Director: Bruno Bianchi Co-Director: Fermín Travi Jurados: Álvaro Cabana, Leonardo Pepino Resumen Los ojos han probado ser una ventana a una gran variedad de procesos cognitivos, por ejemplo, relacionados con la atención y la memoria. Ambas son funciones fundamentales del proceso de lectura y [...]

Título: PPA – Un asistente de demostración para lógica de primer orden con extracción de testigos usando la traducción de Friedman Director: Pablo Barenbaum Jurado: - Verónica Becher - Miguel Pagano (FaMAF, UNC) Transmision: https://youtube.com/live/9uIHpGT4EnI Resumen: Los asistentes de demostración son programas que simplifican la escritura de demostraciones matemáticas, [...]