TY  - RPRT
TI  - Lean-QuantumAlg: A Framework for AI Agents to Produce Quantum Algorithms that Humans Can Trust
AU  - Lei Zhang
AU  - Mingrui Jing
AU  - Yusheng Zhao
AU  - Jiahong Liu
AU  - Xin Wang
PY  - 2026
UR  - https://arxiv.org/abs/2610.30216
ID  - 2610.30216
ER  -