Los estudiantes de doctorado del Instituto Universitario Valenciano de Investigación en Inteligencia Artificial (VRAIN) de la Universitat Politècnica de València, Félix Martí Pérez y Yael Moros Daval, han presentado dos trabajos en uno de los foros científicos internacionales más respetados del mundo de la informática, el Dagstuhl Seminar 25491: Approaches and Applications of Inductive Programming (13th AAIP), celebrado recientemente en Wadern (Alemania). Ambos trabajos ponen de manifiesto la creciente relevancia de VRAIN en los avances de investigación en inteligencia artificial y los métodos tradicionales de la programación inductiva a nivel europeo, así como los beneficios de su unión, foco de este encuentro.
El trabajo presentado por Félix Martí Pérez, “Evaluación de grandes modelos lingüísticos en la programación por ejemplo” aborda los retos que existen a la hora de evaluar los modelos de lenguaje en tareas de inducción de programas a partir de ejemplos. Este campo está logrando un progreso real en el desarrollo de sistemas neuro-simbólicos, que integran redes neuronales con representaciones simbólicas como grafos, y herramientas de programación asistida por inteligencia artificial.
Grandes modelos de lenguaje fiables
Mientras que el de Yael Moros Daval, “Más allá del rendimiento: hacia grandes modelos lingüísticos fiables”, explica como avanzar hacia grandes modelos de lenguaje (LLMs) que sean más robustos, se puedan interpretar mejor, y sean más fiables que los actuales, con especial atención en aplicaciones críticas -salud, empresas o infraestructuras críticas- donde prima la fiablidad y no el rendimiento general, que resulta insuficiente en estos casos.
En septiembre de 2024, Yael Moros Daval presentó un estudio junto a investigadores de VRAIN de la UPV y la Universidad de Cambridge, que publicó la revista Nature, en el que precisamente se destacaba cómo los grandes modelos de lenguaje, cada vez más presentes en las diferentes áreas y sectores de la sociedad, a través de los avances de la IA, no son tan fiables como los usuarios esperan.
“En este seminario he presentado toda la temática sobre la que versa mi tesis doctoral en la que llego a esta conclusión sobre cómo estos sistemas no son del todo fiables por diferentes razones. Y también he hablado de las posibles soluciones para hacerlos más fiables”, explica Yael Moros Daval.
Modelos grandes de lenguaje y modelos de leguaje específicos
Por su parte, Félix Martí Pérez destaca que “los modelos de lenguaje ahora se dedican a resolver problemas más específicos con técnicas más clásicas que usan lógica y están demostrando que tienen muchas capacidades. A lo largo de estos días hemos recopilado cómo esos diferentes modelos de lenguaje rinden en todas esas tareas. Y de esta forma vamos a determinar si los modelos grandes de lenguaje pueden ser mejores o no que los modelos de lenguaje específicos”.
Dagstuhl —el Schloss Dagstuhl – Leibniz Center for Informatics— es uno de los foros más respetados del mundo en informática. Sus seminarios son muy selectivos y reúnen a investigadoras e investigadores internacionales de referencia para discutir los avances en cada área. Ser invitado a presentar trabajo supone un reconocimiento explícito al potencial y la madurez científica de los participantes.
La participación de los dos doctorandos de VRAIN de la UPV en el Dagstuhl Seminar AAIP, celebrado del 30 de noviembre al 5 de diciembre de 2025, representa un hito clave en sus carreras científicas y un salto cualitativo en la visibilidad internacional del instituto. Además, consolida su presencia en una comunidad científica de máximo nivel y abre las puertas a nuevas colaboraciones y futuras estancias de investigación.
