Chao Lu, Navnil Choudhury, Kanad Basu. QuaSi: A Scalable and Reliable Quantum Simulation-based Equivalence Checking Framework. In Marek Osinski, Brian La Cour, Lia Yeh, editors, IEEE International Conference on Quantum Computing and Engineering, QCE 2024, Montreal, QC, Canada, September 15-20, 2024. pages 1037-1047, IEEE, 2024. [doi]
Abstract is missing.