Co-occurring keywords · papers mentioning both
Papers
It is not True that Transformers are Inductive Learners: Probing NLI Models with External Negation
EACL 2024
JFLD: A Japanese Benchmark for Deductive Reasoning Based on Formal Logic
COLING 2024
Language Model Guided Interpretable Video Action Reasoning
CVPR 2024
Language Models can be Deductive Solvers
NAACL 2024
LatEval: An Interactive LLMs Evaluation Benchmark with Incomplete Information from Lateral Thinking Puzzles
COLING 2024
LeanReasoner: Boosting Complex Logical Reasoning with Lean
NAACL 2024
Learning Planning-based Reasoning by Trajectories Collection and Process Reward Synthesizing
EMNLP 2024
“Let’s Argue Both Sides”: Argument Generation Can Force Small Models to Utilize Previously Inaccessible Reasoning Capabilities
EMNLP 2024
Liar, Liar, Logical Mire: A Benchmark for Suppositional Reasoning in Large Language Models
EMNLP 2024
LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
EMNLP 2024
LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models
ACL 2024
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation
NeurIPS 2024
LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations
ACL 2024
LR-XFL: Logical Reasoning-Based Explainable Federated Learning
AAAI 2024
MedLogic-AQA: Enhancing Medicare Question Answering with Abstractive Models Focusing on Logical Structures
EMNLP 2024
Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models
EMNLP 2024
Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models
ACL 2024
NeuroSymbolic LLM for Mathematical Reasoning and Software Engineering
IJCAI 2024
Out-of-Distribution Detection With Logical Reasoning
WACV 2024
PathReasoner: Modeling Reasoning Path with Equivalent Extension for Logical Question Answering
ACL 2024
P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains
EMNLP 2024
PUZZLES: A Benchmark for Neural Algorithmic Reasoning
NeurIPS 2024
Puzzle Solving using Reasoning of Large Language Models: A Survey
EMNLP 2024
Reason from Fallacy: Enhancing Large Language Models’ Logical Reasoning through Logical Fallacy Understanding
NAACL 2024
Reasoning or a Semblance of it? A Diagnostic Study of Transitive Reasoning in LLMs
EMNLP 2024