GenCtrl – A Formal Controllability Toolkit for Generative Models - Cheng, Emily; Amo Alonso, Carmen; Danieli, Federico; Blaas, Arno; Zappella, Luca; Rodriguez, Pau; Suau, Xavier (International Conference on Learning Representations, 2026)