AI与世界难题 · 理论计算机科学 · arXiv · 2026-10-20
LogicVal：面向文本到图像生成中约束满足的逻辑形式化基准
原标题: LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation
为了评估文本到图像模型是否满足提示词中的约束,作者将评估重新表述为约束满足问题,并在逻辑框架中将其形式化。在九类约束和四个模型上,表现最好的模型在单对象约束上得分为 98%,但在复杂的多对象关系约束上仅为 53%。他们还提出了 LogicVal,它将神经视觉检测与逻辑推理相结合,在 CLEVR 上的 ROC-AUC 得分达到 0.88 至 0.98。