We present t| ket⟩, a quantum software development platform produced by Cambridge
Quantum Computing Ltd. The heart of t| ket⟩ is a language-agnostic optimising compiler …

The ZX-calculus is a graphical language for reasoning about quantum computation that has
recently seen an increased usage in a variety of areas such as quantum circuit optimisation …

We present a completely new approach to quantum circuit optimisation, based on the ZX-
calculus. We first interpret quantum circuits as ZX-diagrams, which provide a flexible, lower …

We provide conceptual and mathematical foundations for near-term quantum natural
language processing (QNLP), and do so in quantum computer scientist friendly terms. We …

Quantum computing is regarded as a promising paradigm that may overcome the current
computational power bottlenecks in the post-Moore era. The increasing maturity of quantum …

Variational quantum algorithms are currently the most promising class of algorithms for
deployment on near-term quantum computers. In contrast to classical algorithms, there are …

Abstract We introduce $\texttt {Yao} $, an extensible, efficient open-source framework for
quantum algorithm design. $\texttt {Yao} $ features generic and differentiable programming …

We present VOQC, the first fully verified optimizer for quantum circuits, written using the Coq
proof assistant. Quantum circuits are expressed as programs in a simple, low-level language …

Translations between the quantum circuit model and the measurement-based one-way
model are useful for verification and optimisation of quantum computations. They make …

Existing quantum compilers optimize quantum circuits by applying circuit transformations
designed by experts. This approach requires significant manual effort to design and …