@inproceedings{cheng2026formalcontrollability,
  title         = {A Formal Controllability Toolkit for Black-Box Generative Models},
  author        = {Cheng, E. and Amo Alonso, C. and Danieli, F. and Blaas, A. and Zappella, L. and Rodr{\'i}guez, P. and Suau, X.},
  booktitle     = {Proceedings of the International Conference on Learning Representations (ICLR)},
  year          = {2026}
}