v1v2v3v4 (latest)

NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning

16 September 2022

Nathaniel Weir

Papers citing "NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning"

39 / 39 papers shown

Title
BF-Max: an Efficient Bit Flipping Decoder with Predictable Decoding Failure Rate Alessio Baldelli Marco Baldi F. Chiaraluce Paolo Santini 87 0 0 11 Jun 2025
Beyond Chain-of-Thought: A Survey of Chain-of-X Paradigms for LLMs Yu Xia Rui Wang Xu Liu Mingyan Li Tong Yu Xiang Chen Julian McAuley Shuai Li LRM 107 22 0 24 Apr 2024
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers Theo X. Olausson Alex Gu Benjamin Lipkin Cedegao E. Zhang Armando Solar-Lezama Josh Tenenbaum Roger Levy LRM AI4CE ReLM 138 118 0 23 Oct 2023
Faithful Chain-of-Thought Reasoning Qing Lyu Shreya Havaldar Adam Stein Li Zhang D. Rao Eric Wong Marianna Apidianaki Chris Callison-Burch ReLM LRM 119 228 0 31 Jan 2023
Rethinking with Retrieval: Faithful Large Language Model Inference Hangfeng He Hongming Zhang Dan Roth KELM LRM 219 168 0 31 Dec 2022
LAMBADA: Backward Chaining for Automated Reasoning in Natural Language Seyed Mehran Kazemi Najoung Kim Deepti Bhatia Xinyuan Xu Deepak Ramachandran LRM 93 80 0 20 Dec 2022
Natural Language Deduction with Incomplete Information Zayne Sprague Kaj Bostrom Swarat Chaudhuri Greg Durrett LRM 71 17 0 01 Nov 2022
Entailer: Answering Questions with Faithful and Truthful Chains of Reasoning Oyvind Tafjord Bhavana Dalvi Peter Clark ReLM KELM LRM 130 54 0 21 Oct 2022
Decomposed Prompting: A Modular Approach for Solving Complex Tasks Tushar Khot H. Trivedi Matthew Finlayson Yao Fu Kyle Richardson Peter Clark Ashish Sabharwal ReLM LRM 129 451 0 05 Oct 2022
Towards Faithful Model Explanation in NLP: A Survey Qing Lyu Marianna Apidianaki Chris Callison-Burch XAI 191 118 0 22 Sep 2022
Faithful Reasoning Using Large Language Models Antonia Creswell Murray Shanahan ReLM LRM 64 125 0 30 Aug 2022
NaturalProver: Grounded Mathematical Proof Generation with Language Models Sean Welleck Jiacheng Liu Ximing Lu Hannaneh Hajishirzi Yejin Choi AIMat LRM 75 73 0 25 May 2022
Generating Natural Language Proofs with Verifier-Guided Search Kaiyu Yang Jia Deng Danqi Chen LRM 97 72 0 25 May 2022
Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations Jaehun Jung Lianhui Qin Sean Welleck Faeze Brahman Chandra Bhagavatula Ronan Le Bras Yejin Choi ReLM LRM 273 196 0 24 May 2022
METGEN: A Module-Based Entailment Tree Generation Framework for Answer Explanation Ruixin Hong Hongming Zhang Xintong Yu Changshui Zhang ReLM LRM 78 33 0 05 May 2022
Towards Teachable Reasoning Systems: Using a Dynamic Memory of User Feedback for Continual System Improvement Bhavana Dalvi Oyvind Tafjord Peter Clark LRM KELM ReLM 81 39 0 27 Apr 2022
Natural Language Deduction through Search over Statement Compositions Kaj Bostrom Zayne Sprague Swarat Chaudhuri Greg Durrett ReLM LRM 92 46 0 16 Jan 2022
Think about it! Improving defeasible reasoning by first modeling the question scenario Cencheng Shen Niket Tandon Ha Trinh Peter Clark Yiming Yang Eduard H. Hovy LRM ReLM 93 31 0 24 Oct 2021
Conversational Multi-Hop Reasoning with Neural Commonsense Knowledge and Symbolic Logic Rules Forough Arabshahi Jennifer Lee Antoine Bosselut Yejin Choi Tom Michael Mitchell LRM 67 17 0 17 Sep 2021
Diff-Explainer: Differentiable Convex Optimization for Explainable Multi-hop Inference Mokanarangan Thayaparan Marco Valentino Deborah Ferreira Julia Rozanova André Freitas 95 10 0 07 May 2021
Explaining Answers with Entailment Trees Bhavana Dalvi Peter Alexander Jansen Oyvind Tafjord Zhengnan Xie Hannah Smith Leighanna Pipatanangkura Peter Clark ReLM FAtt LRM 293 185 0 17 Apr 2021
ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language Oyvind Tafjord Bhavana Dalvi Peter Clark 92 275 0 24 Dec 2020
Braid: Weaving Symbolic and Neural Knowledge into Coherent Logical Explanations Aditya Kalyanpur Tom Breloff D. Ferrucci 51 18 0 26 Nov 2020
Learning to Explain: Datasets and Models for Identifying Valid Reasoning Chains in Multihop Question-Answering Harsh Jhamtani Peter Clark LRM 87 71 0 07 Oct 2020
Text Modular Networks: Learning to Decompose Tasks in the Language of Existing Models Tushar Khot Daniel Khashabi Kyle Richardson Peter Clark Ashish Sabharwal ReLM 51 87 0 01 Sep 2020
Conversational Neuro-Symbolic Commonsense Reasoning Forough Arabshahi Jennifer Lee Mikayla Gawarecki Kathryn Mazaitis A. Azaria Tom Michael Mitchell LRM 97 48 0 17 Jun 2020
Transformers as Soft Reasoners over Language Peter Clark Oyvind Tafjord Kyle Richardson ReLM OffRL LRM 106 360 0 14 Feb 2020
Neural Module Networks for Reasoning over Text Nitish Gupta Kevin Lin Dan Roth Sameer Singh Matt Gardner NAI ReLM LRM 73 132 0 10 Dec 2019
Quick and (not so) Dirty: Unsupervised Selection of Justification Sentences for Multi-hop Question Answering Vikas Yadav Steven Bethard Mihai Surdeanu 123 77 0 17 Nov 2019
Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks Nils Reimers Iryna Gurevych 1.3K 12,301 0 27 Aug 2019
Optuna: A Next-generation Hyperparameter Optimization Framework Takuya Akiba Shotaro Sano Toshihiko Yanase Takeru Ohta Masanori Koyama 668 5,839 0 25 Jul 2019
Neural Probabilistic Logic Programming in DeepProbLog Robin Manhaeve Sebastijan Dumancic Angelika Kimmig T. Demeester Luc de Raedt NAI 97 560 0 18 Jul 2019
NLProlog: Reasoning with Weak Unification for Question Answering in Natural Language Leon Weber Pasquale Minervini Jannes Munchmeyer Ulf Leser Tim Rocktaschel NAI LRM 46 96 0 14 Jun 2019
On the Possibilities and Limitations of Multi-hop Reasoning Under Linguistic Imperfections Daniel Khashabi Erfan Sadeqi Azer Tushar Khot Ashish Sabharwal Dan Roth LRM 42 8 0 08 Jan 2019
Exploiting Explicit Paths for Multi-hop Reading Comprehension Souvik Kundu Tushar Khot Ashish Sabharwal Peter Clark 97 51 0 02 Nov 2018
Transforming Question Answering Datasets Into Natural Language Inference Datasets Dorottya Demszky Kelvin Guu Percy Liang 74 162 0 09 Sep 2018
Billion-scale similarity search with GPUs Jeff Johnson Matthijs Douze Hervé Jégou 257 3,737 0 28 Feb 2017
MS MARCO: A Human Generated MAchine Reading COmprehension Dataset Payal Bajaj Daniel Fernando Campos Nick Craswell Li Deng Jianfeng Gao ... Mir Rosenberg Xia Song Alina Stoica Saurabh Tiwary Tong Wang RALM 156 2,744 0 28 Nov 2016
Neural Module Networks Jacob Andreas Marcus Rohrbach Trevor Darrell Dan Klein CoGe 139 1,076 0 09 Nov 2015