conftrace_

linear lambda calculus

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

neural proof net (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