IA e os Problemas Difíceis do Mundo · Ciência da computação teórica · arXiv · 2026-10-20
LogicVal: um benchmark logicamente formalizado para satisfação de restrições na geração de imagens a partir de texto
Título original: LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation
Para avaliar se modelos de texto para imagem satisfazem as restrições de um prompt, os autores reformulam a avaliação como um problema de satisfação de restrições e a formalizam em um arcabouço lógico. Em nove classes de restrições e quatro modelos, o melhor modelo obteve 98% em restrições de objeto único, mas apenas 53% em restrições complexas de relações entre vários objetos. Eles também propõem o LogicVal, que combina detecção visual neural com raciocínio lógico e alcança valores de ROC-AUC de 0,88 a 0,98 no CLEVR.