판 이력 — LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation | AIChainDay