Search filters

List of works by Liyi Li

A Verified Optimizer for Quantum Circuits

scientific article published on 12 July 2023

Qunity: A Unified Language for Quantum and Classical Computing

scientific article published on 11 January 2023

Verified compilation of Quantum oracles

scientific article published on 31 October 2022

Paulina is supported by:

About Paulina

Help