La IA y los problemas difíciles del mundo · Informática teórica · arXiv · 2026-10-20
LogicVal: un benchmark con formalización lógica para la satisfacción de restricciones en la generación de imágenes a partir de texto
Título original: LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation
Para evaluar si los modelos de texto a imagen cumplen las restricciones de un prompt, los autores replantean la evaluación como un problema de satisfacción de restricciones y lo formalizan en un marco lógico. En nueve clases de restricciones y cuatro modelos, el mejor modelo obtuvo un 98% en restricciones de un solo objeto, pero solo un 53% en restricciones complejas de relaciones entre varios objetos. También proponen LogicVal, que combina la detección visual neuronal con el razonamiento lógico y alcanza valores de ROC-AUC de 0.88 a 0.98 en CLEVR.