Proyectos en el marco del instituto:
PIDAE: Desarrollo de benchmarks adversariales para razonamiento en variantes de español
Pese al avance de la Inteligencia Artificial (IA) en los últimos años, existe un marcado déficit en el desarrollo de evaluaciones estandarizadas y de calidad, o benchmarks, de los modelos de lenguaje (MLs) en boga. En el área de evaluación de MLs, o benchmarking, se reconoce la carencia de buenos tests para evaluar las capacidades de estos modelos en áreas de importancia central, principalmente comprensión lingüística general y capacidades de razonamiento. Actualmente el sector de servicios busca integrar estos MLs al sistema productivo, automatizando algunos procesos. Sin embargo, esto conlleva ciertos riesgos, dado que los benchmarks actuales tienen poca representación de lenguas como el Español y sus variantes, por lo que, en relación a regiones donde estas lenguas y variantes sean relevantes, la calidad de los MLs no estará correctamente juzgada. Para poder prevenir daños o riesgos a la hora de esta integración en la economía local, es necesario contar con benchmarks que evalúen tanto capacidades lingüísticas ligadas al Español y su variante rioplatense, como capacidades de razonamiento que faciliten la generalización del desempeño de los MLs. Los objetivos principales son: Desarrollar un conjunto de evaluaciones estandarizadas sobre capacidades vinculadas al razonamiento y a la comprensión de las variantes de español en Argentina. Seleccionar y curar un corpus de la variante rioplatense del español para su uso en benchmarks adversariales. Diseñar estrategias adversariales para fenómenos de razonamiento y fenómenos lingüísticos adecuados a la variante rioplatense.
Implementar un benchmark sobre fenómenos de razonamiento y lingüísticos que tenga tanto una dimensión adversarial y otra procedural.
UBACyT: Condicionales e implicaciones lógicas
Este proyecto investiga una cuestión fundamental de la lógica contemporánea: ¿cómo puede expresarse una noción no transitiva de consecuencia lógica mediante un conector de implicación dentro de un marco tarskiano? El objetivo principal es construir un sistema formal en el que la relación de consecuencia global satisfaga las propiedades estructurales clásicas articuladas por Tarski (reflexividad, monotonía y transitividad), mientras que un conector de implicación primitivo internalice un comportamiento inferencial no transitivo a nivel del lenguaje objeto. Las lógicas no transitivas han sido ampliamente motivadas por paradojas semánticas, en particular Curry y fenómenos relacionados, donde la transitividad sin restricciones contribuye a la trivialidad. Los enfoques estándar a menudo revisan la noción global de consecuencia, abandonando así el enfoque estructural tarskiano. Si bien estas revisiones bloquean con éxito las derivaciones paradójicas, también debilitan la estabilidad metateórica y la claridad de la teoría de la demostración tradicionalmente asociadas con la consecuencia tarskiana. Este proyecto explora una estrategia alternativa: en lugar de rechazar la transitividad a nivel de consecuencia, buscamos preservarla externamente y representar su fallo internamente.
La hipótesis central es que la distinción entre consecuencia e implicación puede robustecerse formalmente. La relación de consecuencia global seguirá siendo tarskiana, lo que garantizará la regularidad estructural y la manejabilidad metateórica. Sin embargo, se introducirá un conector de implicación primitivo para codificar una relación inferencial más débil que no valida el silogismo hipotético. La idea principal es que los fallos de la transitividad pueden tratarse como propiedades de un conector, más que como defectos de la consecuencia misma. De esta manera, el sistema busca mantener la estabilidad deductiva a la vez que modela el razonamiento no transitivo dentro del lenguaje.
Director: Eduardo Barrio