Título: Buscador de Modelos Acotados para el demostrador de teoremas PVS Directores: Mariano M. Moscato y Carlos G. Lopez Pombo Jurados: Mariano Cerrutti y Francisco Zilliani Resumen: La demostración de teoremas en un ambiente interactivo, donde la guía de una persona es necesaria, es usualmente una actividad tediosa y muy propensa a fallas. [...]

Título: Técnicas y modelos del lenguaje del pensamiento para el aprendizaje automático a partir de cuerpos de datos ralos Directores: Dr. Santiago Figueira y Dr. Mariano Sigman Jurados: Dra. Luciana Benotti, Dr. German Kruszewski y Dra. Ana Maguitman La defensa se transmitirá por youtube: https://youtu.be/ZTe-_uxsKtU Resumen: En las últimas [...]