conftrace_

neural proof net

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

linear lambda calculus (1) type-logical grammar (1) neuro-symbolic parsing (1) linear logic (1) proof net (1) sinkhorn network (1) syntactic analysis (1)

Papers

Neural Proof Nets CoNLL 2020