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, [...]

Título: Análisis de las dimensiones políticas y temporales a través del lenguaje Director: Esteban Feuerstein Co-Director: Juan Manuel Ortiz de Zárate Jurados: Dr. Bruno Bianchi Dr. Juan Manuel Pérez Resumen: Este trabajo se centra en el análisis de dimensiones político-partidarias y temporales mediante el uso de modelos de representación de palabras [...]

Este jueves 20/03 adelantamos DÁTAME! de Marzo, la primera de 2025! El encuentro será a las 16 hs. en el aula 1401 del Edificio 0+Infinito. La presentación estará a cargo de Celia Cintas (IBM Research Africa – Nairobi) y el título de la charla es: Hacia modelos de aprendizaje automático más robustos y equitativos Sobre la charla Cuando pensamos en [...]

Título: Extracción de información de Historias Clínicas Electrónicas escritas en español para realizar inteligencia epidémica Directora: Viviana Cotik Co-Directora: Pilar Bárcena Barbeira Jurados: Martina Pesce, Juan Manuel Pérez Resumen: Las historias clínicas son una herramienta fundamental para la atención médica. La creciente adopción de las historias clínicas electrónicas facilita [...]

Título: ¿Capturan los embeddings de los LLMs información sobre temporalidad y relaciones espaciales? Director: Esteban Feuerstein Codirector: Juan Manuel Ortiz de Zárate Jurados: Gabriel Tolosa, Ernesto Mislej Resumen: Los Large Language Models (LLMs) han demostrado una capacidad notable para capturar relaciones semánticas a través de sus embeddings, contribuyendo significativamente [...]

Título: Generador de Abstracciones de Comportamiento para Contratos Inteligentes mediante Fuzzing Directores: Javier Godoy, Diego Garbervetsky Jurados: Dr. Gustavo Grieco, Dr. Juan Pablo Galeotti Resumen: Los contratos inteligentes son programas inmutables desplegados en la blockchain, utilizados para gestionar activos digitales y automatizar acuerdos sin intermediarios. Dada la inmutabilidad de [...]

El encuentro será a las 16 hs. en el aula 1402 del Edificio 0+Infinito. La presentación estará a cargo de Constanza Sanchez F. de la Vega y el título de la charla es: ¿Pueden las ecuaciones diferenciales y las libélulas trabajar en equipo para controlar una epidemia? Sobre la charla En esta charla veremos cómo las [...]

Título: Lógicas para razonar sobre grafos con datos Director: Santiago Figueira Director adjunto: Diego Figueira Consejera de estudios: Teresa Krick Jurados: Dra. Flavia Bonomo, UBA & CONICET Dra. Magdalena Ortiz, TUW, Austria Dr. Domagoj Vrgoc, PUC, Chile Link Youtube: https://youtube.com/live/6e82iE8-hco Resumen: En esta tesis analizamos una serie de problemas relevantes [...]

Título: On the Completeness of a Syntactically Linear Logic Director: Alejandro Díaz-Caro Jurados: Pablo Barenbaum (Universidad de Buenos Aires) Octavio Malherbe (Universidad de la República) Benoît Valiron (Université Paris-Saclay) Resumen: El cálculo L-S, una extensión del lenguaje de pruebas de la lógica lineal relacionado con la computación cuántica, ha [...]