19 citations · 74 across the 17 of their papers we have counts for
5 papers · 1 filter
Virtual quantum neural networks
Benchi Zhao, Xuanqiang Zhao, Yinan Li +2
Quantum neural networks are a prominent model of quantum machine learning. Their training consists in the minimization of a given loss function over a parametrized family of quantu…
Causal-Class Hierarchies in Coherence-Constrained Channel Transformation
Lin Zhu, Benchi Zhao, Xuanqiang Zhao +3
Higher-order quantum transformations allow multiple channel uses to be combined through different causal architectures, from parallel and fixed-order sequential networks to general…
Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
Lei Zhang, Yusheng Zhao, Yimeng Cao +10
Formal verification is becoming increasingly practical for quantum computing, yet the ability of AI agents to construct machine-checkable proofs in this domain remains unmeasured.…
Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
Chengkai Zhu, Ziao Tang, Guocheng Zhen +6
Quantum information theory (QIT) characterizes the capabilities and fundamental limits of quantum information processing, underpinning quantum communication, computation, and error…
Efficient implementation of arbitrary Hermitian-preserving and trace-preserving maps
Weizhou Cai, Zi-Jie Chen, Xuanqiang Zhao +4
Quantum control has been a cornerstone of quantum information science, driving major advances in quantum computing, quantum communication, and quantum sensing. Over the years, it h…