AI na Matatizo Magumu ya Ulimwengu · Sayansi ya kompyuta ya kinadharia · arXiv · 2026-10-20
LogicVal: Kipimo Kilichorasimishwa kwa Mantiki cha Kutosheleza Vikwazo katika Utengenezaji wa Picha kutoka kwa Maandishi
Kichwa asilia: LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation
Ili kutathmini kama modeli za maandishi-hadi-picha zinatimiza vikwazo vilivyomo kwenye maelekezo, waandishi walibadilisha tathmini kuwa tatizo la kutimiza vikwazo na kulirasimisha katika mfumo wa kimantiki. Katika madaraja tisa ya vikwazo na modeli nne, modeli bora ilipata 98% kwenye vikwazo vya kitu kimoja lakini 53% pekee kwenye vikwazo changamano vya uhusiano wa vitu vingi. Pia wanapendekeza LogicVal, inayochanganya utambuzi wa kuona wa mtandao wa neva na hoja za kimantiki na kufikia alama za ROC-AUC za 0.88 hadi 0.98 kwenye CLEVR.