conftrace_

logical reasoning

333 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (92) natural language inference (31) first-order logic (31) knowledge graph (31) benchmark evaluation (30) symbolic reasoning (20) question answering (18) language model (15) pre-trained language model (15) neural network (15)

Papers

SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver ICML 2019 Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning NAACL 2018 Neural Tensor Networks with Diagonal Slice Matrices NAACL 2018 Chains of Reasoning over Entities, Relations, and Text using Recurrent Neural Networks EACL 2017 Epistemic-entrenchment Characterization of Parikh’s Axiom IJCAI 2017 LangPro: Natural Language Theorem Prover EMNLP 2017 On-demand Injection of Lexical Knowledge for Recognising Textual Entailment EACL 2017 Reformulating Queries: Theory and Practice IJCAI 2017