KI und die schwierigen Probleme der Welt · Theoretische Informatik · arXiv · 2026-10-20
LogicVal: Ein logikformalisierter Benchmark für die Erfüllung von Randbedingungen in der Text-zu-Bild-Generierung
Originaltitel: LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation
Um zu bewerten, ob Text-zu-Bild-Modelle die Vorgaben eines Prompts erfüllen, formulieren die Autoren die Evaluation als Constraint-Satisfaction-Problem um und formalisieren sie in einem logischen Rahmenwerk. Über neun Constraint-Klassen und vier Modelle hinweg erreichte das beste Modell bei Einzelobjekt-Constraints 98 %, bei komplexen Constraints für Beziehungen zwischen mehreren Objekten jedoch nur 53 %. Zudem schlagen sie LogicVal vor, das neuronale visuelle Erkennung mit logischem Schließen kombiniert und auf CLEVR ROC-AUC-Werte von 0,88 bis 0,98 erreicht.