SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention

02/23/2023
by   Konstantinos Kogkalidis, et al.
0

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 λ terms. The parser integrates a number of breakthrough advances made in recent years. Its output consists of hi-res derivations of a multimodal type-logical grammar, capturing two orthogonal axes of syntax, namely deep function-argument structures and dependency relations. These are produced by three interdependent systems: a static type-checker asserting the well-formedness of grammatical analyses, a state-of-the-art, structurally-aware supertagger based on heterogeneous graph convolutions, and a massively parallel proof search component based on Sinkhorn iterations. Packed in the software are also handy utilities and extras for proof visualization and inference, intended to facilitate end-user utilization.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/06/2018

Chart Parsing Multimodal Grammars

The short note describes the chart parser for multimodal type-logical gr...
research
09/26/2020

Neural Proof Nets

Linear logic and the linear λ-calculus have a long standing tradition in...
research
04/17/2021

Question Decomposition with Dependency Graphs

QDMR is a meaning representation for complex questions, which decomposes...
research
12/29/2019

ÆTHEL: Automatically Extracted Type-Logical Derivations for Dutch

We present ÆTHEL, a semantic compositionality dataset for written Dutch....
research
07/11/2018

UniParse: A universal graph-based parsing toolkit

This paper describes the design and use of the graph-based parsing frame...
research
05/02/2022

Logiformer: A Two-Branch Graph Transformer Network for Interpretable Logical Reasoning

Machine reading comprehension has aroused wide concerns, since it explor...
research
03/14/2023

Happy-GLL: modular, reusable and complete top-down parsers for parameterized nonterminals

Parser generators and parser combinator libraries are the most popular t...

Please sign up or login with your details

Forgot password? Click here to reset