research
∙
04/05/2023
Picturing counting reductions with the ZH-calculus
Counting the solutions to Boolean formulae defines the problem #SAT, whi...
share
research
∙
12/15/2022
A Graphical #SAT Algorithm for Formulae with Small Clause Density
We study the counting version of the Boolean satisfiability problem #SAT...
research
∙
12/10/2021
Equivariant Quantum Graph Circuits
We investigate quantum circuits for graph representation learning, and p...
research
∙
11/10/2021
A Quantum Natural Language Processing Approach to Musical Intelligence
There has been tremendous progress in Artificial Intelligence (AI) for m...
research
∙
10/08/2021
lambeq: An Efficient High-Level Python Library for Quantum NLP
We present lambeq, the first high-level Python library for Quantum Natur...
research
∙
07/02/2021
How to make qubits speak
This is a story about making quantum computers speak, and doing so in a ...
research
∙
03/11/2021
Classifying Complexity with the ZX-Calculus: Jones Polynomials and Potts Partition Functions
The ZX-calculus is a graphical language which allows for reasoning about...
research
∙
02/25/2021
QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer
Quantum Natural Language Processing (QNLP) deals with the design and imp...
research
∙
12/07/2020
Grammar-Aware Question-Answering on Quantum Computers
Natural language processing (NLP) is at the forefront of great advances ...
research
∙
12/07/2020
Foundations for Near-Term Quantum Natural Language Processing
We provide conceptual and mathematical foundations for near-term quantum...
research
∙
05/08/2020
Quantum Natural Language Processing on Near-Term Quantum Computers
In this work, we describe a full-stack pipeline for natural language pro...
research
∙
04/14/2020
Tensor Network Rewriting Strategies for Satisfiability and Counting
We provide a graphical treatment of SAT and #SAT on equal footing. Insta...
research
∙
01/03/2020
Meaning updating of density matrices
The DisCoCat model of natural language meaning assigns meaning to a sent...
research
∙
05/17/2019
Functorial Question Answering
We study the relational variant of the categorical compositional distrib...
research
∙
05/17/2019
