deductive reasoning

Comparing Inferential Strategies of Humans and Large Language Models in Deductive Reasoning ACL 2024 CR-LLM: A Dataset and Optimization for Concept Reasoning of Large Language Models ACL 2024 Enhancing Fact Verification with Causal Knowledge Graphs and Transformer-Based Retrieval for Deductive Reasoning EMNLP 2024 Evaluating the Deductive Competence of Large Language Models NAACL 2024 Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset ACL 2024 ItD: Large Language Models Can Teach Themselves Induction through Deduction ACL 2024 JFLD: A Japanese Benchmark for Deductive Reasoning Based on Formal Logic COLING 2024 Language Agents with Reinforcement Learning for Strategic Play in the Werewolf Game ICML 2024 Liar, Liar, Logical Mire: A Benchmark for Suppositional Reasoning in Large Language Models EMNLP 2024 Premise Order Matters in Reasoning with Large Language Models ICML 2024 Reasoning Like a Doctor: Improving Medical Dialogue Systems via Diagnostic Reasoning Process Alignment ACL 2024 Symbolic Working Memory Enhances Language Models for Complex Rule Application EMNLP 2024 A Generation-based Deductive Method for Math Word Problems EMNLP 2023 ART: rule bAsed futuRe-inference deducTion EMNLP 2023 Can Pretrained Language Models (Yet) Reason Deductively? EACL 2023 Deductive Additivity for Planning of Natural Language Proofs ACL 2023 Deductive Verification of Chain-of-Thought Reasoning NeurIPS 2023 GeoDRL: A Self-Learning Framework for Geometry Problem Solving using Reinforcement Learning in Deductive Reasoning ACL 2023 Hence, Socrates is mortal: A Benchmark for Natural Language Syllogistic Reasoning ACL 2023 Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming ACL 2023 Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic ICML 2023 MTR: A Dataset Fusing Inductive, Deductive, and Defeasible Reasoning ACL 2023 Testing the General Deductive Reasoning Capacity of Large Language Models Using OOD Examples NeurIPS 2023 FaiRR: Faithful and Robust Deductive Reasoning over Natural Language ACL 2022 Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extraction ACL 2022