paper-with-me

홈 › Papers

GenCtrl -- A Formal Controllability Toolkit for Generative Models

2026-01-09 · Emily Cheng, Carmen Amo Alonso, Federico Danieli, Arno Blaas, Luca Zappella, Pau Rodriguez, Xavier Suau arxiv

As generative models become ubiquitous, there is a critical need for fine-grained control over the generation process. Yet, while controlled generation methods from prompting to fine-tuning proliferate, a fundamental question remains unanswered: are these models truly controllable in the first place? In this work, we provide a theoretical framework to formally answer this question. Framing human-model interaction as a control process, we propose a novel algorithm to estimate the controllable sets of models in a dialogue setting. Notably, we provide formal guarantees on the estimation error as a function of sample complexity: we derive probably-approximately correct bounds for controllable set estimates that are distribution-free, employ no assumptions except for output boundedness, and work for any black-box nonlinear control system (i.e., any generative model). We empirically demonstrate the theoretical framework on different tasks in controlling dialogue processes, for both language models and text-to-image generation. Our results show that model controllability is surprisingly fragile and highly dependent on the experimental setting. This highlights the need for rigorous controllability analysis, shifting the focus from simply attempting control to first understanding its fundamental limits.

📄 PDF Abstract BibTeX arXiv:2601.05637

Code (0)

등록된 구현이 없습니다.

Tasks

Text-to-Image Generation

Similar Papers 제목 키워드 기반

Can We Steer the Black-Box? Towards Controllability-Centric Evaluation of Recommender Systems with Collaborative Agents

2026-07-15 · Jiwen Zhou, Xiang Liu, Mingming Li, Pengbo Mo 외 arxiv

Recommender systems operate as Black-Boxes, leaving users and regulators unable to steer their outputs toward specific intentions or audit their behavior. This lack of controllability, defined as the system's ability to …

Neural Proposals, Symbolic Guarantees: Neuro-Symbolic Graph Generation with Hard Constraints

2026-02-18 · Chuqin Geng, Li Zhang, Mark Zhang, Haolin Ye 외 arxiv

We challenge black-box purely deep neural approaches for molecules and graph generation, which are limited in controllability and lack formal guarantees. We introduce Neuro-Symbolic Graph Generative Modeling (NSGGM), a n…

Graph Generation

Generative AI Toolkit -- a framework for increasing the quality of LLM-based applications over their whole life cycle

2024-12-18 · Jens Kohl, Luisa Gloger, Rui Costa, Otto Kruse 외

As LLM-based applications reach millions of customers, ensuring their scalability and continuous quality improvement is critical for success. However, the current workflows for developing, maintaining, and operating (Dev…

Controllability-Constrained Deep Network Models for Enhanced Control of Dynamical Systems

2023-11-11 · Suruchi Sharma, Volodymyr Makarenko, Gautam Kumar, Stas Tiomkin

Control of a dynamical system without the knowledge of dynamics is an important and challenging task. Modern machine learning approaches, such as deep neural networks (DNNs), allow for the estimation of a dynamics model …

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems

2019-02-12 · Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim 외

We present VERIFAI, a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components. VERIFAI particularly seeks to address challenges with a…

BIG-bench Machine Learning