@misc{indiciaeba737bf0abab,
  title = {Lean-QuantumAlg: A Framework for AI Agents to Produce Quantum Algorithms that Humans Can Trust},
  author = {Lei Zhang and Mingrui Jing and Yusheng Zhao and Jiahong Liu and Xin Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2610.30216},
  note = {Source identifier: 2610.30216}
}