ИИ и сложнейшие проблемы мира · Теоретическая информатика · arXiv · 2026-10-20
LogicVal: логически формализованный бенчмарк для выполнения ограничений в генерации изображений по тексту
Оригинальное название: LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation
Чтобы оценить, выполняют ли модели генерации изображений по тексту ограничения, заданные в запросе, авторы переформулируют оценку как задачу удовлетворения ограничений и формализуют её в логической системе. По девяти классам ограничений и четырём моделям лучшая модель набрала 98% на ограничениях для одного объекта, но лишь 53% на сложных ограничениях отношений между несколькими объектами. Они также предлагают LogicVal, который сочетает нейросетевое визуальное обнаружение с логическим рассуждением и достигает значений ROC-AUC от 0,88 до 0,98 на CLEVR.