L'IA face aux grands problèmes du monde · Informatique théorique · arXiv · 2026-10-20
LogicVal : un banc d'essai à formalisation logique pour la satisfaction de contraintes dans la génération d'images à partir de texte
Titre original: LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation
Pour évaluer si les modèles texte-image respectent les contraintes d'une requête, les auteurs reformulent l'évaluation comme un problème de satisfaction de contraintes et le formalisent dans un cadre logique. Sur neuf classes de contraintes et quatre modèles, le meilleur modèle obtient 98 % pour les contraintes portant sur un seul objet, mais seulement 53 % pour les contraintes complexes de relations entre plusieurs objets. Ils proposent aussi LogicVal, qui combine détection visuelle neuronale et raisonnement logique et atteint des scores ROC-AUC de 0,88 à 0,98 sur CLEVR.