@misc{indiciae207ae51ef1e5,
  title = {LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation},
  author = {Savitha Sam Abraham and Marjan Alirezaie and Hossein Rahnama},
  year = {2026},
  url = {https://arxiv.org/abs/2610.24051},
  note = {Source identifier: 2610.24051}
}