Skip to Main content Skip to Navigation
Conference papers

Neural Proof Nets

Konstantinos Kogkalidis 1 Michael Moortgat 1 Richard Moot 2 
2 TEXTE - Exploration et exploitation de données textuelles
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : Linear logic and the linear {\lambda}-calculus have a long standing tradition in the study of natural language form and meaning. Among the proof calculi of linear logic, proof nets are of particular interest, offering an attractive geometric representation of derivations that is unburdened by the bureaucratic complications of conventional prooftheoretic formats. Building on recent advances in set-theoretic learning, we propose a neural variant of proof nets based on Sinkhorn networks, which allows us to translate parsing as the problem of extracting syntactic primitives and permuting them into alignment. Our methodology induces a batch-efficient, end-to-end differentiable architecture that actualizes a formally grounded yet highly efficient neuro-symbolic parser. We test our approach on {\AE}Thel, a dataset of type-logical derivations for written Dutch, where it manages to correctly transcribe raw text sentences into proofs and terms of the linear {\lambda}-calculus with an accuracy of as high as 70%.
Document type :
Conference papers
Complete list of metadata

Cited literature [40 references]  Display  Hide  Download
Contributor : Richard Moot Connect in order to contact the contributor
Submitted on : Tuesday, September 29, 2020 - 12:00:22 PM
Last modification on : Friday, August 5, 2022 - 3:03:22 PM
Long-term archiving on: : Wednesday, December 30, 2020 - 6:31:43 PM


Distributed under a Creative Commons Attribution - NonCommercial - ShareAlike 4.0 International License




Konstantinos Kogkalidis, Michael Moortgat, Richard Moot. Neural Proof Nets. CoNLL 2020 - 24th Conference on Computational Natural Language Learning, Nov 2020, Virtual, Dominican Republic. pp.26-40, ⟨10.18653/v1/2020.conll-1.3⟩. ⟨lirmm-02952267⟩



Record views


Files downloads