Picture for Lasha Abzianidze

Lasha Abzianidze

Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inference

Add code
Nov 15, 2023
Viaarxiv icon

SpaceNLI: Evaluating the Consistency of Predicting Inferences in Space

Add code
Jul 05, 2023
Viaarxiv icon

A Logic-Based Framework for Natural Language Inference in Dutch

Add code
Oct 08, 2021
Figure 1 for A Logic-Based Framework for Natural Language Inference in Dutch
Figure 2 for A Logic-Based Framework for Natural Language Inference in Dutch
Figure 3 for A Logic-Based Framework for Natural Language Inference in Dutch
Figure 4 for A Logic-Based Framework for Natural Language Inference in Dutch
Viaarxiv icon

The Parallel Meaning Bank: A Framework for Semantically Annotating Multiple Languages

Add code
Dec 29, 2020
Figure 1 for The Parallel Meaning Bank: A Framework for Semantically Annotating Multiple Languages
Figure 2 for The Parallel Meaning Bank: A Framework for Semantically Annotating Multiple Languages
Figure 3 for The Parallel Meaning Bank: A Framework for Semantically Annotating Multiple Languages
Figure 4 for The Parallel Meaning Bank: A Framework for Semantically Annotating Multiple Languages
Viaarxiv icon

DRS at MRP 2020: Dressing up Discourse Representation Structures as Graphs

Add code
Dec 29, 2020
Figure 1 for DRS at MRP 2020: Dressing up Discourse Representation Structures as Graphs
Figure 2 for DRS at MRP 2020: Dressing up Discourse Representation Structures as Graphs
Figure 3 for DRS at MRP 2020: Dressing up Discourse Representation Structures as Graphs
Figure 4 for DRS at MRP 2020: Dressing up Discourse Representation Structures as Graphs
Viaarxiv icon

Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference

Add code
Oct 29, 2020
Figure 1 for Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference
Figure 2 for Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference
Figure 3 for Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference
Figure 4 for Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference
Viaarxiv icon

Thirty Musts for Meaning Banking

Add code
May 27, 2020
Viaarxiv icon

The First Shared Task on Discourse Representation Structure Parsing

Add code
May 27, 2020
Figure 1 for The First Shared Task on Discourse Representation Structure Parsing
Figure 2 for The First Shared Task on Discourse Representation Structure Parsing
Figure 3 for The First Shared Task on Discourse Representation Structure Parsing
Figure 4 for The First Shared Task on Discourse Representation Structure Parsing
Viaarxiv icon

Can neural networks understand monotonicity reasoning?

Add code
Jun 27, 2019
Figure 1 for Can neural networks understand monotonicity reasoning?
Figure 2 for Can neural networks understand monotonicity reasoning?
Figure 3 for Can neural networks understand monotonicity reasoning?
Figure 4 for Can neural networks understand monotonicity reasoning?
Viaarxiv icon

HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning

Add code
Apr 27, 2019
Figure 1 for HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning
Figure 2 for HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning
Figure 3 for HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning
Figure 4 for HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning
Viaarxiv icon