Artificial Intelligence › Core AI ›

Reasoning

2595 directly classified papers

Papers per year

Papers

Neuro-Symbolic Integration for Reasoning and Learning on Knowledge Graphs AAAI 2024

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts EMNLP 2024

Improving Multi-Agent Debate with Sparse Communication Topology EMNLP 2024

Fine-Grained Modeling of Narrative Context: A Coherence Perspective via Retrospective Questions ACL 2024

INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems AAAI 2024

Empowering Multi-step Reasoning across Languages via Program-Aided Language Models EMNLP 2024

The Logic of Doxastic Strategies AAAI 2024

ControlMath: Controllable Data Generation Promotes Math Generalist Models EMNLP 2024

Probabilities of Causation with Nonbinary Treatment and Effect AAAI 2024

Learning Multi-Granularity and Adaptive Representation for Knowledge Graph Reasoning IJCAI 2024

What Makes Models Compositional? A Theoretical View IJCAI 2024

Towards Automatic Composition of ASP Programs from Natural Language Specifications IJCAI 2024

Large Language Models Are Not Strong Abstract Reasoners IJCAI 2024

Reframing Spatial Reasoning Evaluation in Language Models: A Real-World Simulation Benchmark for Qualitative Reasoning IJCAI 2024

Beyond What If: Advancing Counterfactual Text Generation with Structural Causal Modeling IJCAI 2024

Learning to Solve Geometry Problems via Simulating Human Dual-Reasoning Process IJCAI 2024

Laying the Foundations for Solving FOND HTN Problems: Grounding, Search, Heuristics (and Benchmark Problems) IJCAI 2024

A differentiable first-order rule learner for inductive logic programming (Abstract Reprint) IJCAI 2024

Causal Graph Modeling with Deep Neural Engines for Strong Abstract Reasoning in Language and Vision IJCAI 2024

What Are the Odds? Language Models Are Capable of Probabilistic Reasoning EMNLP 2024

Masked Thought: Simply Masking Partial Reasoning Steps Can Improve Mathematical Reasoning Learning of Language Models ACL 2024

Multi-step Problem Solving Through a Verifier: An Empirical Analysis on Model-induced Process Supervision EMNLP 2024

SpaRC and SpaRP: Spatial Reasoning Characterization and Path Generation for Understanding Spatial Reasoning Capability of Large Language Models ACL 2024

Code Prompting Elicits Conditional Reasoning Abilities in Text+Code LLMs EMNLP 2024

Temporal Knowledge Question Answering via Abstract Reasoning Induction ACL 2024