3 citations · 7 across the 17 of their papers we have counts for
8 papers · 1 filter
Lean-QuantumAlg: A Framework for AI Agents to Produce Quantum Algorithms that Humans Can Trust
Lei Zhang, Mingrui Jing, Yusheng Zhao +2
AI agents are increasingly capable of constructing quantum algorithms and proofs, yet machine-checked proofs alone cannot guarantee that the intended problem is solved or that reso…
Multivariate quantum signal processing with optimal query complexity
Mingrui Jing, Xin Wang, Zhan Yu +1
Polynomial transformations of data encoded in quantum operations are a building block of quantum algorithms, and their query complexity measures how often those operations are used…
Learning Quantum Matter through Attention in Complex Space
Mingrui Jing, Erdong Huang, Jizhe Lai +3
Magnetic many-electron wavefunctions require amplitude and phase to be optimized together. Whether a complex internal representation improves this variational search is a practical…
An exchange-assisted entangling gate between 87Rb and 171Yb Rydberg atoms
Han Wang, Erdong Huang, Mingrui Jing +3
Neutral-atom tweezer arrays support scalable quantum information processing. Dual-species -- arrays combine long-lived ytterbium nuclear-spin d…
Exact Virtual Channel Programming with Vanishing Excess Overhead
Mingrui Jing, Mengbo Guo, Hongshun Yao +1
A finite-dimensional physical processor cannot exactly program a continuous family of distinct unitary channels. We show that this obstruction becomes quantitative when the target…
Algebraic Speedups for Exact Inversion of Hamiltonian Evolutions
Jizhe Lai, Mingrui Jing, Erdong Huang +1
Deterministic exact inversion of an arbitrary -dimensional unitary requires {} coherent forward calls in the worst case. We ask how this cost changes for Hamiltonian evo…
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.…
An Agentic Formalization for Certified Quantum Neural Network Design
Mingrui Jing, Lei Zhang, Yusheng Zhao +2
A central model in quantum machine learning is the quantum neural network (QNN), whose design requires balancing expressivity and trainability. Technically, expressivity is studied…