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

Lasha Abzianidze

Published in: CoRR (2023)

Keyphrases

formal proofs
natural language
machine learning
case study
information extraction
question answering systems
bayesian networks
question answering
knowledge representation
inference mechanism
inference process
language processing
multi task
database
metadata
information retrieval
data sets