Follow
Alexis Toumi
Title
Cited by
Cited by
Year
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
432016
Foundations for near-term quantum natural language processing
B Coecke, G de Felice, K Meichanetzidis, A Toumi
arXiv preprint arXiv:2012.03755, 2020
402020
Quantum natural language processing on near-term quantum computers
K Meichanetzidis, S Gogioso, G De Felice, N Chiappori, A Toumi, ...
17th International Conference on Quantum Physics and Logic, QPL 2020, Paris …, 2020
372020
DisCoPy: monoidal categories in Python
G de Felice, A Toumi, B Coecke
Electronic Proceedings in Theoretical Computer Science 333, 183-197, 2020
322020
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
312015
Grammar-aware question-answering on quantum computers
K Meichanetzidis, A Toumi, G de Felice, B Coecke
arXiv preprint arXiv:2012.03756, 2020
212020
Generalized relations in linguistics & cognition
B Coecke, F Genovese, M Lewis, D Marsden, A Toumi
Theoretical Computer Science 752, 104-115, 2018
202018
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
122021
Diagrammatic differentiation for quantum machine learning
A Toumi, R Yeung, G de Felice
arXiv preprint arXiv:2103.07960, 2021
102021
Functorial question answering
G de Felice, K Meichanetzidis, A Toumi
arXiv preprint arXiv:1905.07408, 2019
102019
Towards compositional distributional discourse analysis
B Coecke, G de Felice, D Marsden, A Toumi
arXiv preprint arXiv:1811.03277, 2018
102018
Categorical compositional distributional questions, answers & discourse analysis
A Toumi
Master’s thesis, University of Oxford, 2018
52018
Incremental monoidal grammars
D Shiebler, A Toumi, M Sadrzadeh
arXiv preprint arXiv:2001.02296, 2020
42020
How to make qubits speak
B Coecke, G Felice, K Meichanetzidis, A Toumi
Quantum Computing in the Arts and Humanities, 277-297, 2022
32022
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
32019
Functorial Language Models
A Toumi, A Koziell-Pipe
arXiv preprint arXiv:2103.14411, 2021
22021
Functorial language games for question answering
G de Felice, E Di Lavore, M Román, A Toumi
arXiv preprint arXiv:2005.09439, 2020
22020
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
12021
DisCoPy for the quantum computer scientist
A Toumi, G de Felice, R Yeung
arXiv preprint arXiv:2205.05190, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–19