most citedEquivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting

2 citations · 3 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026★ 1 cited

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)

Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh +4

We present a verifier of quantum programs called AutoQ 2.0. Quantum programs extend quantum circuits (the domain of AutoQ 1.0) by classical control flow constructs, which enable us…