conftrace_

type-logical grammar

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

lexicalized supertagging (1) denotational semantics (1) neural proof net (1) linear lambda calculus (1) closed-world assumption (1) neuro-symbolic parsing (1) linear logic (1) proof net (1) sinkhorn network (1) self-attention network (1)

Papers

Neural Proof Nets CoNLL 2020 Constructive Type-Logical Supertagging With Self-Attention Networks ACL 2019