Artificial Intelligence › Core AI ›

Reasoning

2595 directly classified papers

Papers per year

Papers

Language Models are Crossword Solvers NAACL 2025

SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning NAACL 2025

NLI under the Microscope: What Atomic Hypothesis Decomposition Reveals NAACL 2025

CORRECT: Context- and Reference-Augmented Reasoning and Prompting for Fact-Checking NAACL 2025

ToW: Thoughts of Words Improve Reasoning in Large Language Models NAACL 2025

From Curiosity to Clarity : Exploring the Impact of Consecutive Why-Questions NAACL 2025

Dynamic Strategy Planning for Efficient Question Answering with Large Language Models NAACL 2025

When natural language is not enough: The limits of in-context learning demonstrations in multilingual reasoning NAACL 2025

Tooling or Not Tooling? The Impact of Tools on Language Agents for Chemistry Problem Solving NAACL 2025

A Dataset of Ancient Chinese Math Word Problems and an Application for Research in Historic Mathematics NAACL 2025

LLM Reasoning Engine: Specialized Training for Enhanced Mathematical Reasoning NAACL 2025

Unsupervised Visual Chain-of-Thought Reasoning via Preference Optimization ICCV 2025

LLM-DR: A Novel LLM-Aided Diffusion Model for Rule Generation on Temporal Knowledge Graphs AAAI 2025

Requirement Patterns for Engineering Multiagent Interaction Protocols IJCAI 2025

HS-STaR: Hierarchical Sampling for Self-Taught Reasoners via Difficulty Estimation and Budget Reallocation EMNLP 2025

OrderChain: Towards General Instruct-Tuning for Stimulating the Ordinal Understanding Ability of MLLM ICCV 2025

Responsibility Anticipation and Attribution in LTLf IJCAI 2025

Enhancing Reasoning Abilities of Small LLMs with Cognitive Alignment EMNLP 2025

Teach Small Models to Reason by Curriculum Distillation EMNLP 2025

CoTMR: Chain-of-Thought Multi-Scale Reasoning for Training-Free Zero-Shot Composed Image Retrieval ICCV 2025

Probing for Arithmetic Errors in Language Models EMNLP 2025

SITE: towards Spatial Intelligence Thorough Evaluation ICCV 2025

Robustness in Single-Audience Value-based Abstract Argumentation: Complexity Results IJCAI 2025

End-to-End Entity-Predicate Association Reasoning for Dynamic Scene Graph Generation ICCV 2025

From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs ACL 2025