Search filters

List of works by Xiaodi Wu

A Case for Synthesis of Recursive Quantum Unitary Programs

scientific article published on 05 January 2024

A Verified Optimizer for Quantum Circuits

scientific article published on 12 July 2023

Automating NISQ Application Design with Meta Quantum Circuits with Constraints (MQCC)

scientific article published on 14 January 2023

Differentiable Quantum Programming with Unbounded Loops

scientific article published on 24 August 2023

Quantum Algorithm for Estimating Volumes of Convex Bodies

scientific article published on 08 May 2023

SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation

scientific article published on 05 January 2024

Verified compilation of Quantum oracles

scientific article published on 31 October 2022

Paulina is supported by:

About Paulina

Help