conftrace_
← Core AI
Artificial Intelligence › Core AI ›

Reasoning

2,595 papers

Papers per year

Papers

Evaluating and Improving Tool-Augmented Computation-Intensive Math Reasoning NIPS 2023
A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference NIPS 2023
Multi Time Scale World Models NIPS 2023
D-CIPHER: Discovery of Closed-form Partial Differential Equations NIPS 2023
Differentiable Neuro-Symbolic Reasoning on Large-Scale Knowledge Graphs NIPS 2023
Language Models Can Improve Event Prediction by Few-Shot Abductive Reasoning NIPS 2023
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