conftrace_

proof net

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

syntactic parsing (2) neuro-symbolic parsing (1) linear logic (1) sinkhorn network (1) neural network (1) type-logical grammar (1) neural proof net (1) linear lambda calculus (1) categorical grammar (1) differentiable loss function (1)

Papers

LCGbank: A Corpus of Syntactic Analyses Based on Proof Nets COLING 2024 Proof Net Structure for Neural Lambek Categorial Parsing ACL 2021 Neural Proof Nets CoNLL 2020