Co-occurring keywords · papers mentioning both
Papers
Verifying the Steps of Deductive Reasoning Chains
ACL 2025
Liar, Liar, Logical Mire: A Benchmark for Suppositional Reasoning in Large Language Models
EMNLP 2024
MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning
ICLR 2024
Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming
ACL 2023
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic
ICML 2023
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
IJCAI 2018