Search Results for author:
Found 14 papers, 12 papers with code
Learning Structure-Aware Representations of Dependent Types
Agda is a dependently-typed programming language and a proof assistant, pivotal in proof formalization and programming language theory.
Algebraic Positional Encodings
We introduce a novel positional encoding strategy for Transformer-style models, addressing the shortcomings of existing, often ad hoc, approaches.
OYXOY: A Modern NLP Test Suite for Modern Greek
This paper serves as a foundational step towards the development of a linguistically motivated and technically relevant evaluation suite for Greek NLP.
SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention
This paper describes SPINDLE - an open source Python module implementing an efficient and accurate parser for written Dutch that transforms raw text input to programs for meaning composition, expressed as {\lambda} terms.
Geometry-Aware Supertagging with Heterogeneous Dynamic Convolutions
The syntactic categories of categorial grammar formalisms are structured units made of smaller, indivisible primitives, bound together by the underlying grammar's category formation rules.
Ranked #1 on
CCG Supertagging
on CCGbank
Discontinuous Constituency and BERT: A Case Study of Dutch
In this paper, we set out to quantify the syntactic capacity of BERT in the evaluation regime of non-context free patterns, as occurring in Dutch.
A Logic-Based Framework for Natural Language Inference in Dutch
Pairs of semantic terms are then fed to an automated theorem prover for natural logic which reasons with them while using the lexical relations found in the Open Dutch WordNet.
Improving BERT Pretraining with Syntactic Supervision
Bidirectional masked Transformers have become the core theme in the current NLP landscape.
Fighting the COVID-19 Infodemic with a Holistic BERT Ensemble
This paper describes the TOKOFOU system, an ensemble model for misinformation detection tasks based on six different transformer-based pre-trained encoders, implemented in the context of the COVID-19 Infodemic Shared Task for English.
Neural Proof Nets
Linear logic and the linear {\lambda}-calculus have a long standing tradition in the study of natural language form and meaning.
\AETHEL: Automatically Extracted Typelogical Derivations for Dutch
{\AE}THEL{'}s types and derivations are obtained by means of an extraction algorithm applied to the syntactic analyses of LASSY Small, the gold standard corpus of written Dutch.
ÆTHEL: Automatically Extracted Typelogical Derivations for Dutch
{\AE}THEL's types and derivations are obtained by means of an extraction algorithm applied to the syntactic analyses of LASSY Small, the gold standard corpus of written Dutch.
Extracting and Learning a Dependency-Enhanced Type Lexicon for Dutch
This thesis is concerned with type-logical grammars and their practical applicability as tools of reasoning about sentence syntax and semantics.
Constructive Type-Logical Supertagging with Self-Attention Networks
We propose a novel application of self-attention networks towards grammar induction.
