Eventos

Título: El Vínculo entre Entropía Generativa, Autoevaluación y Correctitud en el uso de LLMs para Métodos Formales Director: Victor Braberman Jurados: Luciano del Corro y Sebastian Uchitel Resumen: Los LLMs han demostrado grandes capacidades en la generación de código; sin embargo, su fiabilidad en tareas de razonamiento formal y [...]

Título: KE tableaux para lógicas intuicionistas modales Directores: Alejandro Solares Rojas y Ricardo O. Rodriguez Jurados: Edwin Pin y Lourdes del Carmen González Huesca. Resumen: El sistema KE es una variante de los tableaux analíticos para lógica clásica proposicional. El mismo ha sido extendido recientemente como cálculo para la [...]

Título : Procesamiento del lenguaje durante la lectura y los impactos de la fatiga Directores: Bruno Bianchi y Fermín Travi Jurado: Gustavo Juantorena y Rodrigo Laje Resumen : A pesar de no darnos cuenta, durante la lectura, los ojos se mueven de forma compleja. Este movimiento no es tan [...]