Author

Ming-Sheng Ying

h-index 5 View on Semantic Scholar

We have 2 of 19 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 Oct 2026

QEDIA: Quantum Program Verification in Lean

Practical quantum programs interleave quantum and classical computation: classical data shape the quantum operations that are performed, and measurement outcomes shape the classical computation that follows. Formal verification of such programs in a proof assistant requires mechanizing a program logic that handles this...

Yuan-Jie Ren, Zhi-Cheng Zhang, Jun-Yi Liu et al. · 2 citations

Jul 2026

Reasoning about Continuous-Variable Quantum Systems

This work develops a formal semantics for a core CV quantum programming language, and sound verification methods for program correctness, and chooses closed positive quadratic forms as semantic predicates, representing finite expectations, domains of finiteness, and infinite penalties in one ordered object.

Tianshi Yu, Gilles Barthe, Min-Bo Gao et al. · arXiv.org · 0 citations