Preprint
Jul 2026
An Agentic Formalization for Certified Quantum Neural Network Design
This work formalizes major components of QNN theory in a connected lean 4 development checked by a proof kernel, expecting this work to provide a machine-checkable foundation for QNN theory and a step toward AI-assisted or automated design of quantum machine learning algorithms.
M. Jing, Lei Zhang, Yusheng Zhao et al.
· 2 citations