ai-benchmark

LogicVal：一个用于文本到图像生成的约束满足逻辑形式化基准

LogicVal是一个新的文本到图像生成基准，它通过约束满足逻辑形式化来评估模型的逻辑推理能力，超越了传统的颜色准确性和物体识别评估方法。