DisCoCirc represents natural language text as a `circuit' that captures the core semantic information of the text.
Here we elevate ZX to an analytical perspective by realising differentiation and integration entirely within the framework of ZX-calculus.
In particular, we are importing methods from the Distributional Compositional Categorical (DisCoCat) modelling framework for Natural Language Processing (NLP), motivated by musical grammars.
We present lambeq, the first high-level Python library for Quantum Natural Language Processing (QNLP).
While the DisCoCat model (Coecke et al., 2010) has been proved a valuable tool for studying compositional aspects of language at the level of semantics, its strong dependency on pregroup grammars poses important restrictions: first, it prevents large-scale experimentation due to the absence of a pregroup parser; and second, it limits the expressibility of the model to context-free grammars.
We introduce diagrammatic differentiation for tensor calculus by generalising the dual number construction from rigs to monoidal categories.