2026-05-17T00:00:00-03:00

Defensa Tesis Licenciatura Martín Amster

Aula 1301

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

Ir a Arriba