Alexis Toumi
Cited by
Cited by
Rational verification: From model checking to equilibrium checking
M Wooldridge, J Gutierrez, P Harrenstein, E Marchioni, G Perelli, A Toumi
Thirtieth AAAI Conference on Artificial Intelligence, 2016
A tool for the automated verification of Nash equilibria in concurrent games
A Toumi, J Gutierrez, M Wooldridge
International Colloquium on Theoretical Aspects of Computing, 583-594, 2015
Quantum natural language processing on near-term quantum computers
K Meichanetzidis, S Gogioso, G De Felice, N Chiappori, A Toumi, ...
arXiv preprint arXiv:2005.04147, 2020
DisCoPy: Monoidal Categories in Python
G de Felice, A Toumi, B Coecke
arXiv preprint arXiv:2005.02975, 2020
Foundations for near-term quantum natural language processing
B Coecke, G de Felice, K Meichanetzidis, A Toumi
arXiv preprint arXiv:2012.03755, 2020
Generalized relations in linguistics & cognition
B Coecke, F Genovese, M Lewis, D Marsden, A Toumi
Theoretical Computer Science 752, 104-115, 2018
Grammar-Aware Question-Answering on Quantum Computers
K Meichanetzidis, A Toumi, G de Felice, B Coecke
arXiv preprint arXiv:2012.03756, 2020
Functorial question answering
G de Felice, K Meichanetzidis, A Toumi
arXiv preprint arXiv:1905.07408, 2019
Towards compositional distributional discourse analysis
B Coecke, G de Felice, D Marsden, A Toumi
arXiv preprint arXiv:1811.03277, 2018
Diagrammatic Differentiation for Quantum Machine Learning
A Toumi, R Yeung, G de Felice
arXiv preprint arXiv:2103.07960, 2021
Categorical compositional distributional questions, answers & discourse analysis
A Toumi
Master’s thesis, University of Oxford, 2018
How to make qubits speak
B Coecke, G de Felice, K Meichanetzidis, A Toumi
arXiv preprint arXiv:2107.06776, 2021
Incremental Monoidal Grammars
D Shiebler, A Toumi, M Sadrzadeh
arXiv preprint arXiv:2001.02296, 2020
Automatic page classification in a large collection of manuscripts based on the International Image Interoperability Framework
EE Boros, A Toumi, E Rouchet, B Abadie, D Stutzmann, C Kermorvant
2019 International Conference on Document Analysis and Recognition (ICDAR …, 2019
Functorial Language Games for Question Answering
G de Felice, E Di Lavore, M Román, A Toumi
arXiv preprint arXiv:2005.09439, 2020
Anaphora and Ellipsis in Lambek Calculus with a Relevant Modality: Syntax and Semantics
L McPheat, G Wijnholds, M Sadrzadeh, A Correia, A Toumi
arXiv preprint arXiv:2110.10641, 2021
lambeq: An Efficient High-Level Python Library for Quantum NLP
D Kartsaklis, I Fan, R Yeung, A Pearson, R Lorenz, A Toumi, G de Felice, ...
arXiv preprint arXiv:2110.04236, 2021
Functorial Language Models
A Toumi, A Koziell-Pipe
arXiv preprint arXiv:2103.14411, 2021
The system can't perform the operation now. Try again later.
Articles 1–18