Diff-Explainer: Differentiable Convex Optimization for Explainable Multi-hop Inference
Not on the map. Why?
Abstract (arXiv)
This paper presents Diff-Explainer, the first hybrid framework for explainable multi-hop inference that integrates explicit constraints with neural architectures through differentiable convex optimization. Specifically, Diff-Explainer allows for the fine-tuning of neural representations within a constrained optimization framework to answer and explain multi-hop questions in natural language. To demonstrate the efficacy of the hybrid framework, we combine existing ILP-based solvers for multi-hop Question Answering (QA) with Transformer-based representations. An extensive empirical evaluation on scientific and commonsense QA tasks demonstrates that the integration of explicit constraints in an end-to-end differentiable framework can significantly improve the performance of non-differentiable ILP solvers (8.91% - 13.3%). Moreover, additional analysis reveals that Diff-Explainer is able to achieve strong performance when compared to standalone Transformers and previous multi-hop approaches while still providing structured explanations in support of its predictions.
Key facts. Cited by 7 papers in the map (data through 7 Oct 2026). Builds on 34 of its 64 references that are in the map. First posted on arXiv 7 May 2021.
Builds on
34 of 64 references.
References · 34
- 2018BERT: Pre-training of Deep Bidirectional Transformers for Language Understandingcited by 40,204
- 2019Sentence-BERT: Sentence Embeddings using Siamese BERT-Networkscited by 9,049
- 2018Think you have Solved Question Answering? Try ARC, the AI2 Reasoning Challengecited by 4,710
- 2017Billion-scale similarity search with GPUscited by 2,477
- 2019HuggingFace's Transformers: State-of-the-art Natural Language Processingcited by 2,201
- 2016ConceptNet 5.5: An Open Multilingual Graph of General Knowledgecited by 1,065
- 2020MPNet: Masked and Permuted Pre-training for Language Understandingcited by 973
- 2018A Survey Of Methods For Explaining Black Box Modelscited by 970
- 2017OptNet: Differentiable Optimization as a Layer in Neural Networkscited by 588
- 2020UnifiedQA: Crossing Format Boundaries With a Single QA Systemcited by 475
- 2019Differentiable Convex Optimization Layerscited by 458
- 2020ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Languagecited by 309
22 more
- 2020Transformers as Soft Reasoners over Languagecited by 265
- 2019QASC: A Dataset for Question Answering via Sentence Compositioncited by 248
- 2019SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solvercited by 173
- 2018Transforming Question Answering Datasets Into Natural Language Inference Datasetscited by 99
- 2019Differentiating Through a Cone Programcited by 72
- 2018WorldTree: A Corpus of Explanation Graphs for Elementary Science Questions supporting Multi-Hop Inferencecited by 60
- 2019Quick and (not so) Dirty: Unsupervised Selection of Justification Sentences for Multi-hop Question Answeringcited by 58
- 2020PRover: Proof Generation for Interpretable Reasoning over Rulescited by 53
- 2021CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraintscited by 49
- 2020Measuring Systematic Generalization in Neural Proof Generation with Transformerscited by 43
- 2020A Survey on Explainability in Machine Reading Comprehensioncited by 33
- 2017Answering Complex Questions Using Open Information Extractioncited by 25
- 2020Unsupervised Alignment-based Iterative Evidence Retrieval for Multi-hop Question Answeringcited by 24
- 2018Solution Refinement at Regular Points of Conic Problemscited by 21
- 2020Operator splitting for a homogeneous embedding of the linear complementarity problemcited by 21
- 2018Differentiable Submodular Maximizationcited by 19
- 2018Exploiting Explicit Paths for Multi-hop Reading Comprehensioncited by 16
- 2019Question Answering as Global Reasoning over Semantic Abstractionscited by 14
- 2016Question Answering via Integer Programming over Semi-Structured Knowledgecited by 13
- 2018Learning to Attend On Essential Terms: An Enhanced Retriever-Reader Model for Open-domain Question Answeringcited by 12
- 2018KG^2: Learning to Reason Science Exam Questions with Contextual Knowledge Graph Embeddingscited by 7
- 2018Multi-hop Inference for Sentence-level TextGraphs: How Challenging is Meaningfully Combining Information for Science Question Answering?cited by 5
Built on by
Citing papers per year: 2022: 2; 2023: 2; 2024: 3.
7 papers.
- 2022NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoningcited by 16
- 2024Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinementcited by 16
- 2024Differentiation Through Black-Box Quadratic Programming Solverscited by 10
- 2023SemEval-2023 Task 7: Multi-Evidence Natural Language Inference for Clinical Trial Datacited by 6
- 2023Learning Reliable Logical Rules with SATNetcited by 3
- 2022Going Beyond Approximation: Encoding Constraints for Explainable Multi-hop Inference via Differentiable Combinatorial Solverscited by 1
- 2024A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inferencecited by 1
- 2024Differentiation Through Black-Box Quadratic Programming Solvers8 Oct 2024
- 2024A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference3 Apr 2024
- 2024Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement1 Feb 2024
- 2023Learning Reliable Logical Rules with SATNet3 Oct 2023
- 2023SemEval-2023 Task 7: Multi-Evidence Natural Language Inference for Clinical Trial Data4 May 2023
- 2022NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning16 Sep 2022
- 2022Going Beyond Approximation: Encoding Constraints for Explainable Multi-hop Inference via Differentiable Combinatorial Solvers5 Aug 2022