3 citations · 3 across the 1 of their papers we have counts for
Showing quant-phShow all
2 papers · 1 filter
quant-ph2024★ 1 cited
The Quantum Abstract Machine
Liyi Li, Le Chang, Rance Cleaveland +2
This paper develops a model of quantum behavior that is intended to support the abstract yet accurate design and functional verification of quantum communication protocols. The wor…
quant-ph2021★ 3 cited
Verified Compilation of Quantum Oracles
Liyi Li, Finn Voichick, Kesha Hietala +3
Quantum algorithms often apply classical operations, such as arithmetic or predicate checks, over a quantum superposition of classical data; these so-called oracles are often the l…