94 citations · 107 across the 3 of their papers we have counts for
3 papers
cs.PL2022
Quartz: Superoptimization of Quantum Circuits (Extended Version)
Mingkuan Xu, Zikun Li, Oded Padon +8
Existing quantum compilers optimize quantum circuits by applying circuit transformations designed by experts. This approach requires significant manual effort to design and impleme…
quant-ph2021★ 13 cited
Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities
Jessica Pointing, Oded Padon, Zhihao Jia +4
Existing quantum compilers focus on mapping a logical quantum circuit to a quantum device and its native quantum gates. Only simple circuit identities are used to optimize the quan…
cs.AI2020★ 94 cited
On The Reasons Behind Decisions
Adnan Darwiche, Auguste Hirth
Recent work has shown that some common machine learning classifiers can be compiled into Boolean circuits that have the same input-output behavior. We present a theory for unveilin…