Abstract page for arXiv paper 2610.24051: LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation