layout	title	permalink
default	Publications	/publications

Publications

Theses

D.Phil. University of Oxford (2022)
Category Theory for Quantum Natural Language Processing [DOI]
- Supervisors: Bob Coecke and Dan Marsden
- Examiners: Sam Staton and Michael Moortgat
M.Sc. University of Oxford (2018)
Categorical compositional distributional questions, answers & discourse analysis [pdf]
- Supervisor: Bob Coecke
B.Sc. University of Oxford (2015)
Equilibrium Checking in Reactive Modules Games [pdf]
- Supervisors: Julian Gutierrez and Michael Wooldridge

K. Meichanetzidis, A. Toumi, G. de Felice and B. Coecke (2023)
Grammar-aware sentence classification on quantum computers [DOI]
Quantum Machine Intelligence, volume 5, issue 1, pages 1-16
B. Coecke, F. Genovese, M. Lewis, D. Marsden and A. Toumi (2018)
Generalized relations in linguistics & cognition [DOI]
Theoretical Computer Science, volume 752, pages 104-115

B. Coecke, G. Felice, K. Meichanetzidis and A. Toumi (2021)
How to make qubits speak [arXiv]
Quantum Computing in the Arts and Humanities, pages 277-297

A. Toumi and G. de Felice
Higher-Order DisCoCat (Peirce-Lambek-Montague semantics) [arXiv]
ACT 2024
A. Toumi, R. Yeung and G. de Felice
Diagrammatic Differentiation for Quantum Machine Learning [arXiv]
QPL 2021
K. Meichanetzidis, S. Gogioso, G. De Felice, N. Chiappori, A. Toumi and B. Coecke
Quantum natural language processing on near-term quantum computers [arXiv]
QPL 2020
G. de Felice, A. Toumi and B. Coecke
DisCoPy: monoidal categories in Python [arXiv]
ACT 2020
G. de Felice, E. Di Lavore, M. Román and A. Toumi
Functorial language games for question answering [arXiv]
ACT 2020
G. de Felice, K. Meichanetzidis and A. Toumi
Functorial question answering [arXiv]
ACT 2019
E. Boros, A. Toumi, E. Rouchet, B. Abadie, D. Stutzmann and C. Kermorvant
Automatic page classification in a large collection of manuscripts based on the International Image Interoperability Framework [DOI]
ICDAR 2019
B. Coecke, G. de Felice, D. Marsden and A. Toumi
Towards compositional distributional discourse analysis [arXiv]
CAPNS 2018
M. Wooldridge, J. Gutierrez, P. Harrenstein, E. Marchioni, G. Perelli and A. Toumi
Rational verification: From model checking to equilibrium checking [DOI]
AAAI 2016
A. Toumi, J. Gutierrez and M. Wooldridge
A tool for the automated verification of Nash equilibria in concurrent games [DOI]
ICTAC 2015

A. Toumi, R. Yeung, B. Poór and G. de Felice
Monoidal Streams and Probabilistic Dataflow with DisCoPy [pdf]
ACT 2024
A. Toumi, R. Yeung, B. Poór and G. de Felice
DisCoPy: the Hierarchy of Graphical Languages in Python [arXiv]
ACT 2023
A. Toumi, G. de Felice and R. Yeung
DisCoPy for the quantum computer scientist [arXiv]
QPL 2022
D. Kartsaklis, I. Fan, R. Yeung, T. Hoffmann, V. Kocijan, C. London, A. Pearson, R. Lorenz, A. Toumi, G. de Felice, K. Meichanetzidis, S. Clark and B. Coecke
Quantum NLP with lambeq [pdf]
ACT 2022
K. Meichanetzidis, R. Lorenz, A. Pearson, A. Toumi, G. de Felice, D. Kartsaklis and B. Coecke
QNLP: Compositional Models of Meaning on a Quantum Computer [pdf]
ACT 2021
L. McPheat, G. Wijnholds, M. Sadrzadeh, A. Correia and A. Toumi
Anaphora and Ellipsis in Lambek Calculus with a Relevant Modality: Syntax and Semantics [arXiv]
ACT 2021
A. Toumi and A. Koziell-Pipe
Functorial Language Models [arXiv]
ACT 2021
K. Meichanetzidis, S. Gogioso, G. De Felice, N. Chiappori, A. Toumi and B. Coecke
Quantum natural language processing [pdf]
ACT 2020
D. Shiebler, A. Toumi and M. Sadrzadeh
Incremental Monoidal Grammars [arXiv]
SYCO 6 (2019)
A. Toumi
Discourse complexity in categorical compositional relational semantics [pdf]
Vector Semantics for Dialogue and Discourse (VSDD) workshop
13th International Conference on Computational Semantics (IWCS 2019)

D. Kartsaklis, I. Fan, R. Yeung, A. Pearson, R. Lorenz, A. Toumi, G. de Felice, K. Meichanetzidis, S. Clark and B. Coecke (2021)
lambeq: An Efficient High-Level Python Library for Quantum NLP [arXiv]
B. Coecke, G. de Felice, K. Meichanetzidis and A. Toumi (2020)
Foundations for near-term quantum natural language processing [arXiv]