Position: Quantum Program Generation Must Prioritize Validity Over Probabilistic Scaling
This work addresses the limitations of current general-purpose quantum circuit generation methods, which rely excessively on scaling model size and consequently produce outputs that frequently violate quantum-physical semantic constraints. As a result, the fraction of valid circuits decays exponentially with qubit count, rendering post-hoc filtering infeasible. To overcome this, the authors propose a verifier-centric generative architecture that embeds task-specific quantum information rules directly into the synthesis process. By integrating hierarchical constraints, topological masking, and symbolic proxies, the approach proactively guides generation to guarantee both mathematical correctness and physical validity of the output circuits. This paradigm transcends the confines of conventional imitation learning, demonstrating that merely enlarging model capacity cannot bridge the syntax–semantics gap, and establishes a novel, modular, and scalable framework for quantum program synthesis.