14 citations · 17 across the 7 of their papers we have counts for
1 paper · 1 filter
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…