research
∙
08/29/2022
Extracting Mathematical Concepts from Text
We investigate different systems for extracting mathematical entities fr...
share
research
∙
01/26/2021
Behavioral Mereology: A Modal Logic for Passing Constraints
Mereology is the study of parts and the relationships that hold between ...
research
∙
09/15/2020
String Diagrams for Regular Logic (Extended Abstract)
Regular logic can be regarded as the internal language of regular catego...
research
∙
03/05/2019
Lenses and Learners
Lenses are a well-established structure for modelling bidirectional tran...
research
∙
12/14/2018
Graphical Regular Logic
Regular logic can be regarded as the internal language of regular catego...
research
∙
06/21/2018
Hypergraph Categories
Hypergraph categories have been rediscovered at least five times, under ...
research
∙
11/28/2017
Backprop as Functor: A compositional perspective on supervised learning
A supervised learning algorithm searches over a set of functions A → B p...
research
∙
10/11/2017