Author

Kento Mori

h-index 0 View on Semantic Scholar

We have 1 of 1 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Jul 2026

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information

This work presents a Lean 4 library for quantum information, designed as a reusable formal infrastructure for theoretical analysis, and formalizes the DPI for the sandwiched R\'enyi relative entropy for positive semidefinite operators on finite-dimensional quantum systems.

Kazumi Kasaura, Kei Tsukamoto, Kento Mori et al. · 2 citations