AI 與世界的難題 · 理論資訊科學 · arXiv · 2026-10-20
LogicVal：文字生成圖像中限制滿足的邏輯形式化基準
原標題: LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation
為了評估文字生成圖像模型是否滿足提示詞中的限制條件,作者將評估重新表述為限制滿足問題,並在邏輯框架中予以形式化。在九個限制類別與四個模型中,表現最佳的模型在單一物件限制上得分為 98%,但在複雜的多物件關係限制上僅得 53%。他們還提出 LogicVal,結合神經視覺偵測與邏輯推理,在 CLEVR 上達到 0.88 至 0.98 的 ROC-AUC 分數。