arXiv · cs.AI· Savitha Sam Abraham, Marjan Alirezaie, Hossein Rahnama·· 4 小时前
LogicVal：面向文生图约束满足的逻辑形式化基准
LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation
AI 导读
研究者提出 LogicVal，将文生图评估转化为约束满足问题，用逻辑框架形式化对象、属性、关系及生成图像须满足的约束。在 9 类约束上评测四个 SOTA 模型，最佳模型单对象属性约束准确率 98%，复杂条件多对象关系约束仅 53%；同时满足多约束时准确率从 84% 降至 20%，识别不可满足约束仅 23%。
来源：arXiv · cs.AI · arxiv.org