14 citations · 17 across the 7 of their papers we have counts for
3 papers · 1 filter
QuSema: Detecting Silent Bugs in Quantum Libraries via Quantum-knowledge-enhanced Agents
Yujin Song, Kaining Zhang, Qixin Zhang +3
Quantum libraries are now critical infrastructure for quantum algorithm development, yet their correctness remains difficult to test. Existing testing techniques mainly rely on fai…
Stochastic Pauli-path simulator for large-scale quantum optimization
Kaining Zhang, Xinbiao Wang, Kunsheng Li +4
Pauli-based simulators offer a promising route to large-scale classical simulation of quantum circuits in the low-magic regime. Yet their applicability remains largely limited to f…
AQER: a scalable and efficient data loader for digital quantum computers
Kaining Zhang, Xinbiao Wang, Yuxuan Du +2
Digital quantum computing promises to offer computational capabilities beyond the reach of classical systems, yet its capabilities are often challenged by scarce quantum resources.…