From the 2 of 8 linked papers with an AI index.
8 papers
Realified tensor networks: quantum circuit simulation on real-valued matrix accelerators
Yusheng Zhao, Xiwei Pan, Enji Xiong +2
Tensor-network contraction simulates quantum circuits, but modern matrix accelerators (NPUs, TPUs) expose only real GEMM pipelines, so the complex networks of quantum simulation mu…
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.…
Building Shor's Algorithm in Lean: An Agentic Formalization of Quantum Attacks on RSA-2048 and P-256
Lei Zhang, Yusheng Zhao, Hongshun Yao +1
The paper uses AI‑driven agents together with the Lean theorem prover to formally verify Shor's algorithm and its quantum attacks on RSA‑2048 and the P‑256 elliptic curve, providin…
An Agentic Formalization for Certified Quantum Neural Network Design
Mingrui Jing, Lei Zhang, Yusheng Zhao +2
The paper formalizes the theory of quantum neural networks (QNNs) using a machine-checked Lean 4 development, providing exact characterizations of expressivity and trainability and…
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…
DP-MGTD: Privacy-Preserving Machine-Generated Text Detection via Adaptive Differentially Private Entity Sanitization
Lionel Z. Wang, Yusheng Zhao, Jiabin Luo +6
The deployment of Machine-Generated Text (MGT) detection systems necessitates processing sensitive user data, creating a fundamental conflict between authorship verification and pr…