arXiv · NLP· Savitha Sam Abraham, Marjan Alirezaie, Hossein Rahnama·· 6 小时前AI 评分23
LogicVal：面向文生图约束满足的逻辑形式化基准
LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation
AI 导读
研究提出 LogicVal 基准，将文生图评估重构为约束满足问题，并在 CLEVR 数据集上通过结合视觉检测与逻辑推理，取得 0.88 至 0.98 的 ROC-AUC 分数，与人类判断高度一致。
来源：arXiv · NLP · arxiv.org