Picture for Richard Moot

Richard Moot

TEXTE, LIRMM, CNRS

SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention

Add code
Feb 23, 2023
Viaarxiv icon

Perspectives on neural proof nets

Add code
Nov 08, 2022
Viaarxiv icon

Proof-theoretic aspects of NL$λ$

Add code
Oct 23, 2020
Figure 1 for Proof-theoretic aspects of NL$λ$
Figure 2 for Proof-theoretic aspects of NL$λ$
Figure 3 for Proof-theoretic aspects of NL$λ$
Figure 4 for Proof-theoretic aspects of NL$λ$
Viaarxiv icon

Neural Proof Nets

Add code
Sep 26, 2020
Figure 1 for Neural Proof Nets
Figure 2 for Neural Proof Nets
Figure 3 for Neural Proof Nets
Figure 4 for Neural Proof Nets
Viaarxiv icon

Logical foundations for hybrid type-logical grammars

Add code
Sep 22, 2020
Figure 1 for Logical foundations for hybrid type-logical grammars
Figure 2 for Logical foundations for hybrid type-logical grammars
Figure 3 for Logical foundations for hybrid type-logical grammars
Figure 4 for Logical foundations for hybrid type-logical grammars
Viaarxiv icon

Logical Semantics, Dialogical Argumentation, and Textual Entailment

Add code
Aug 17, 2020
Figure 1 for Logical Semantics, Dialogical Argumentation, and Textual Entailment
Figure 2 for Logical Semantics, Dialogical Argumentation, and Textual Entailment
Figure 3 for Logical Semantics, Dialogical Argumentation, and Textual Entailment
Figure 4 for Logical Semantics, Dialogical Argumentation, and Textual Entailment
Viaarxiv icon

Partial Orders, Residuation, and First-Order Linear Logic

Add code
Aug 14, 2020
Figure 1 for Partial Orders, Residuation, and First-Order Linear Logic
Figure 2 for Partial Orders, Residuation, and First-Order Linear Logic
Figure 3 for Partial Orders, Residuation, and First-Order Linear Logic
Figure 4 for Partial Orders, Residuation, and First-Order Linear Logic
Viaarxiv icon

ÆTHEL: Automatically Extracted Type-Logical Derivations for Dutch

Add code
Dec 29, 2019
Figure 1 for ÆTHEL: Automatically Extracted Type-Logical Derivations for Dutch
Figure 2 for ÆTHEL: Automatically Extracted Type-Logical Derivations for Dutch
Figure 3 for ÆTHEL: Automatically Extracted Type-Logical Derivations for Dutch
Figure 4 for ÆTHEL: Automatically Extracted Type-Logical Derivations for Dutch
Viaarxiv icon

Chart Parsing Multimodal Grammars

Add code
Apr 06, 2018
Figure 1 for Chart Parsing Multimodal Grammars
Figure 2 for Chart Parsing Multimodal Grammars
Viaarxiv icon

The Grail theorem prover: Type theory for syntax and semantics

Add code
Aug 26, 2016
Figure 1 for The Grail theorem prover: Type theory for syntax and semantics
Figure 2 for The Grail theorem prover: Type theory for syntax and semantics
Figure 3 for The Grail theorem prover: Type theory for syntax and semantics
Figure 4 for The Grail theorem prover: Type theory for syntax and semantics
Viaarxiv icon