1 paper · 1 filter
Huiling Wu, Yuxin Deng
Quantum oracles are essential to many quantum algorithms, and their specifications may involve recursive control flow that depends on runtime quantum data. However, existing revers…