logical reasoning

Do Large Language Models excel in Complex Logical Reasoning with Formal Language? EMNLP 2025 Elevating Legal LLM Responses: Harnessing Trainable Logical Structures and Semantic Knowledge with Legal Reasoning NAACL 2025 Empowering LLMs with Logical Reasoning: A Comprehensive Survey IJCAI 2025 Enhancing Complex Reasoning in Knowledge Graph Question Answering through Query Graph Approximation ACL 2025 Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision EMNLP 2025 Enhancing Retrieval Systems with Inference-Time Logical Reasoning ACL 2025 Enhancing the Logical Reasoning Abilities of Large Language Models IJCAI 2025 Enhancing Transformers for Generalizable First-Order Logical Entailment ACL 2025 Evaluating Generalization Capability of Language Models across Abductive, Deductive and Inductive Logical Reasoning COLING 2025 Evaluating Intermediate Reasoning of Code-Assisted Large Language Models for Mathematics ACL 2025 Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations ACL 2025 Few-Shot Natural Language to First-Order Logic Translation via Code Generation NAACL 2025 FineReason: Evaluating and Improving LLMs’ Deliberate Reasoning through Reflective Puzzle Solving ACL 2025 GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models ICLR 2025 Harnessing Large Language Models for Knowledge Graph Question Answering via Adaptive Multi-Aspect Retrieval-Augmentation AAAI 2025 HopRAG: Multi-Hop Reasoning for Logic-Aware Retrieval-Augmented Generation ACL 2025 Idola Tribus of AI: Large Language Models tend to perceive order where none exists EMNLP 2025 Improving Complex Reasoning over Knowledge Graph with Logic-Aware Curriculum Tuning AAAI 2025 Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis AAAI 2025 Investigating and Addressing Hallucinations of LLMs in Tasks Involving Negation NAACL 2025 KnowRA: Knowledge Retrieval Augmented Method for Document-level Relation Extraction with Comprehensive Reasoning Abilities IJCAI 2025 KOR-Bench: Benchmarking Language Models on Knowledge-Orthogonal Reasoning Tasks ICLR 2025 Large Language Models as an Indirect Reasoner: Contrapositive and Contradiction for Automated Reasoning COLING 2025 Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation ICLR 2025 Learning First-Order Logic Rules for Argumentation Mining ACL 2025