TY  - RPRT
TI  - An Agentic Formalization for Certified Quantum Neural Network Design
AU  - Mingrui Jing
AU  - Lei Zhang
AU  - Yusheng Zhao
AU  - Hongshun Yao
AU  - Xin Wang
PY  - 2026
UR  - https://arxiv.org/abs/2607.12981
ID  - 2607.12981
ER  -