Neural Proof Nets

Contributed @ CoNLL 2020
November 19, 2020
Slides