Artificial Intelligence › Core AI ›

Reasoning

2595 directly classified papers

Papers per year

Papers

Exploring Mathematical Extrapolation of Large Language Models with Synthetic Data ACL 2024

MuMath-Code: Combining Tool-Use Large Language Models with Multi-perspective Data Augmentation for Mathematical Reasoning EMNLP 2024

CriticBench: Benchmarking LLMs for Critique-Correct Reasoning ACL 2024

Debug like a Human: A Large Language Model Debugger via Verifying Runtime Execution Step by Step ACL 2024

Learning Successor Features the Simple Way NIPS 2024

A Peek into Token Bias: Large Language Models Are Not Yet Genuine Reasoners EMNLP 2024

MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems NIPS 2024

MARIO: MAth Reasoning with code Interpreter Output - A Reproducible Pipeline ACL 2024

Everything of Thoughts: Defying the Law of Penrose Triangle for Thought Generation ACL 2024

Graph Chain-of-Thought: Augmenting Large Language Models by Reasoning on Graphs ACL 2024

A Theoretical Understanding of Self-Correction through In-context Alignment NIPS 2024

How Do Humans Write Code? Large Models Do It the Same Way Too EMNLP 2024

MedAgents: Large Language Models as Collaborators for Zero-shot Medical Reasoning ACL 2024

Mind's Eye of LLMs: Visualization-of-Thought Elicits Spatial Reasoning in Large Language Models NIPS 2024

Do Zombies Understand? A Choose-Your-Own-Adventure Exploration of Machine Cognition ACL 2024

When Reasoning Meets Information Aggregation: A Case Study with Sports Narratives EMNLP 2024

Call Me When Necessary: LLMs can Efficiently and Faithfully Reason over Structured Environments ACL 2024

Meta-Reasoning: Semantics-Symbol Deconstruction for Large Language Models ACL 2024

The Impact of Reasoning Step Length on Large Language Models ACL 2024

Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation AAAI 2024

Conditional and Modal Reasoning in Large Language Models EMNLP 2024

Omega-Regular Decision Processes AAAI 2024

CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems AAAI 2024

Zero Shot is All You Need at SemEval-2024 Task 9: A study of State of the Art LLMs on Lateral Thinking Puzzles SEMEVAL 2024

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving EMNLP 2024