Scalable Equivalence Checking and Verification of Shallow Quantum Circuits. - Nengkun Yu; Xuan Du Trinh; Thomas Reps (CoRR, 2025)