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
392016
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
292015
Generalized relations in linguistics & cognition
B Coecke, F Genovese, M Lewis, D Marsden, A Toumi
Theoretical Computer Science 752, 104-115, 2018
152018
DisCoPy: Monoidal Categories in Python
G de Felice, A Toumi, B Coecke
arXiv preprint arXiv:2005.02975, 2020
102020
Foundations for Near-Term Quantum Natural Language Processing
B Coecke, G de Felice, K Meichanetzidis, A Toumi
arXiv preprint arXiv:2012.03755, 2020
92020
Functorial question answering
G de Felice, K Meichanetzidis, A Toumi
arXiv preprint arXiv:1905.07408, 2019
92019
Towards compositional distributional discourse analysis
B Coecke, G de Felice, D Marsden, A Toumi
arXiv preprint arXiv:1811.03277, 2018
82018
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
72020
Categorical compositional distributional questions, answers & discourse analysis
A Toumi
Master’s thesis, University of Oxford, 2018
52018
Grammar-Aware Question-Answering on Quantum Computers
K Meichanetzidis, A Toumi, G de Felice, B Coecke
arXiv preprint arXiv:2012.03756, 2020
32020
Incremental Monoidal Grammars
D Shiebler, A Toumi, M Sadrzadeh
arXiv preprint arXiv:2001.02296, 2020
22020
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
22019
Diagrammatic Differentiation for Quantum Machine Learning
A Toumi, R Yeung, G de Felice
arXiv preprint arXiv:2103.07960, 2021
12021
Functorial Language Games for Question Answering
G de Felice, E Di Lavore, M Román, A Toumi
arXiv preprint arXiv:2005.09439, 2020
12020
Quantum natural language processing
B Coecke, G de Felice, K Meichanetzidis, A Toumi, S Gogioso, ...
12020
Functorial Language Models
A Toumi, A Koziell-Pipe
arXiv preprint arXiv:2103.14411, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–16