11 citations · 20 across the 5 of their papers we have counts for
1 paper · 1 filter
Mushahid Khan, Olivia Di Matteo
Quantum compilers play a critical role in transforming high-level quantum programs into optimized, hardware-compatible circuits. However, verifying the correctness of compiler pass…