conftrace_
← Core AI
Artificial Intelligence › Core AI ›

Reasoning

2,964 papers

Papers per year

7
14
131
832
'10
'15
'20
'25

Papers

Symbol-LLM: Leverage Language Models for Symbolic System in Visual Human Activity Reasoning NIPS 2023
Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints NIPS 2023
Large Language Models as Commonsense Knowledge for Large-Scale Task Planning NIPS 2023
Deductive Verification of Chain-of-Thought Reasoning NIPS 2023
What’s Left? Concept Grounding with Logic-Enhanced Foundation Models NIPS 2023
PlanBench: An Extensible Benchmark for Evaluating Large Language Models on Planning and Reasoning about Change NIPS 2023
BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Information NIPS 2023
Instructing Goal-Conditioned Reinforcement Learning Agents with Temporal Logic Objectives NIPS 2023
Language Models can Solve Computer Tasks NIPS 2023
Self-Evaluation Guided Beam Search for Reasoning NIPS 2023
Interactive Visual Reasoning under Uncertainty NIPS 2023
RIO: A Benchmark for Reasoning Intention-Oriented Objects in Open Environments NIPS 2023
Chameleon: Plug-and-Play Compositional Reasoning with Large Language Models NIPS 2023
CLeAR: Continual Learning on Algorithmic Reasoning for Human-like Intelligence NIPS 2023
Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction NIPS 2023
LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas NIPS 2023
Neural Algorithmic Reasoning Without Intermediate Supervision NIPS 2023
Back to the Future: Toward a Hybrid Architecture for Ad Hoc Teamwork AAAI 2023
Hierarchical ConViT with Attention-Based Relational Reasoner for Visual Analogical Reasoning AAAI 2023
Disentangling Reafferent Effects by Doing Nothing AAAI 2023
Multi-Level Compositional Reasoning for Interactive Instruction Following AAAI 2023
Social Relation Reasoning Based on Triangular Constraints AAAI 2023
Tree-Structured Trajectory Encoding for Vision-and-Language Navigation AAAI 2023
Second-Order Quantified Boolean Logic AAAI 2023
Fast Converging Anytime Model Counting AAAI 2023