AI dan Masalah-Masalah Sulit Dunia · Ilmu komputer teoretis · arXiv · 2026-10-20
LogicVal: Tolok Ukur Terformalisasi Logika untuk Pemenuhan Batasan dalam Pembuatan Gambar dari Teks
Judul asli: LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation
Untuk mengevaluasi apakah model teks-ke-gambar memenuhi batasan dalam sebuah prompt, para penulis merumuskan ulang evaluasi sebagai masalah pemenuhan batasan dan memformalkannya dalam kerangka logika. Di sembilan kelas batasan dan empat model, model terbaik mencetak skor 98% pada batasan objek tunggal tetapi hanya 53% pada batasan hubungan multi-objek yang kompleks. Mereka juga mengusulkan LogicVal, yang menggabungkan deteksi visual neural dengan penalaran logis dan mencapai skor ROC-AUC 0,88 hingga 0,98 pada CLEVR.