Neural Proof Nets.

Konstantinos Kogkalidis, Michael Moortgat, Richard Moot

Browse the full CoNLL paper archive.