@article{leanquantumtowardaiassistedformalization,
  title = {Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information},
  author = {Kazumi Kasaura and Kei Tsukamoto and Kento Mori and Risa Mizuno and Takahiro Namatame and Yuta Oriike and Masaya Taniguchi and Sho Sonoda and Hayata Yamasaki},
  year = {2026},
  eprint = {2607.05492},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2607.05492},
}