الذكاء الاصطناعي ومشكلات العالم الصعبة · علوم الحاسوب النظرية · arXiv · 2026-10-20

LogicVal: معيار اختبار منظَّم منطقيًا لتحقيق القيود في توليد الصور من النصوص

العنوان الأصلي: LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation

لتقييم ما إذا كانت نماذج تحويل النص إلى صورة تحقق القيود الواردة في الموجّه، أعاد المؤلفون صياغة التقييم بوصفه مسألة إرضاء قيود وصاغوها في إطار منطقي. وعبر تسع فئات من القيود وأربعة نماذج، سجّل أفضل نموذج 98% في قيود الكائن الواحد، لكنه سجّل 53% فقط في قيود العلاقات المعقدة بين عدة كائنات. كما يقترحون LogicVal الذي يجمع بين الكشف البصري العصبي والاستدلال المنطقي، ويبلغ درجات ROC-AUC تتراوح بين 0.88 و0.98 على CLEVR.

اقرأ المصدر الأصلي ↗

جميع العناصر →