research
∙
08/11/2022
Assessing the Unitary RNN as an End-to-End Compositional Model of Syntax
We show that both an LSTM and a unitary-evolution recurrent neural netwo...
share
research
∙
05/07/2022
UniMorph 4.0: Universal Morphology
The Universal Morphology (UniMorph) project is a collaborative effort pr...
research
∙
03/10/2021
Evaluating Linear Functions to Symmetric Monoidal Categories
A number of domain specific languages, such as circuits or data-science ...
research
∙
03/10/2021
Linear Constraints
A linear argument must be consumed exactly once in the body of its funct...
research
∙
12/19/2020
FraCaS: Temporal Analysis
In this paper, we propose an implementation of temporal semantics which ...
research
∙
05/10/2020
Dynamic IFC Theorems for Free!
We show that noninterference and transparency, the key soundness theorem...
research
∙
12/14/2018
A corpus of precise natural textual entailment problems
In this paper, we present a new corpus of entailment problems. This corp...
research
∙
10/26/2017
Linear Haskell: practical linearity in a higher-order polymorphic language
Linear type systems have a long and storied history, but not a clear pat...
research
∙
06/13/2017