ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2311.08637
  4. Cited By
Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inference

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

15 November 2023
Lasha Abzianidze
    LRM
    XAI
ArXivPDFHTML

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

3 / 3 papers shown
Title
Explaining Answers with Entailment Trees
Explaining Answers with Entailment Trees
Bhavana Dalvi
Peter Alexander Jansen
Oyvind Tafjord
Zhengnan Xie
Hannah Smith
Leighanna Pipatanangkura
Peter Clark
ReLM
FAtt
LRM
242
184
0
17 Apr 2021
e-SNLI: Natural Language Inference with Natural Language Explanations
e-SNLI: Natural Language Inference with Natural Language Explanations
Oana-Maria Camburu
Tim Rocktaschel
Thomas Lukasiewicz
Phil Blunsom
LRM
260
622
0
04 Dec 2018
Hypothesis Only Baselines in Natural Language Inference
Hypothesis Only Baselines in Natural Language Inference
Adam Poliak
Jason Naradowsky
Aparajita Haldar
Rachel Rudinger
Benjamin Van Durme
190
576
0
02 May 2018
1