conftrace_

backward chaining

9 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (3) logical reasoning (3) forward chaining (2) logical inference (2) bidirectional chaining (1) proof chain (1) structured proof (1) neural-symbolic ai (1) logic grounding (1) depth-first reasoning (1)

Papers

Grounding Methods for Neural-Symbolic AI IJCAI 2025 SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning NAACL 2025 BC-Prover: Backward Chaining Prover for Formal Theorem Proving EMNLP 2024 Bi-Chainer: Automated Large Language Models Reasoning with Bidirectional Chaining ACL 2024 LAMBADA: Backward Chaining for Automated Reasoning in Natural Language ACL 2023 Entailer: Answering Questions with Faithful and Truthful Chains of Reasoning EMNLP 2022 Neural Unification for Logic Reasoning over Natural Language EMNLP 2021 Deep Natural Language Understanding of News Text NAACL 2019 Finite Model Reasoning in Hybrid Classes of Existential Rules IJCAI 2018