Reasoning

Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories AAAI 2024 A differentiable first-order rule learner for inductive logic programming (Abstract Reprint) IJCAI 2024 Advancing Process Verification for Large Language Models via Tree-Based Preference Learning EMNLP 2024 Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark AAAI 2024 A Framework for Inference Inspired by Human Memory Mechanisms ICLR 2024 Agent Instructs Large Language Models to be General Zero-Shot Reasoners ICML 2024 A Graph per Persona: Reasoning about Subjective Natural Language Descriptions ACL 2024 AILS-NTUA at SemEval-2024 Task 9: Cracking Brain Teasers: Transformer Models for Lateral Thinking Puzzles SemEval 2024 ALF at SemEval-2024 Task 9: Exploring Lateral Thinking Capabilities of LMs through Multi-task Fine-tuning SemEval 2024 Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models ICML 2024 Align and Aggregate: Compositional Reasoning with Video Alignment and Answer Aggregation for Video Question-Answering CVPR 2024 Almost-Linear RNNs Yield Highly Interpretable Symbolic Codes in Dynamical Systems Reconstruction NeurIPS 2024 AlphaMath Almost Zero: Process Supervision without Process NeurIPS 2024 AlphaZero-Like Tree-Search can Guide Large Language Model Decoding and Training ICML 2024 AmazUtah_NLP at SemEval-2024 Task 9: A MultiChoice Question Answering System for Commonsense Defying Reasoning SemEval 2024 A Mechanistic Analysis of a Transformer Trained on a Symbolic Multi-Step Reasoning Task ACL 2024 AnaloBench: Benchmarking the Identification of Abstract and Long-context Analogies EMNLP 2024 An Embodied Generalist Agent in 3D World ICML 2024 An Empirical Analysis on Spatial Reasoning Capabilities of Large Multimodal Models EMNLP 2024 An Empirical Study of Multilingual Reasoning Distillation for Question Answering EMNLP 2024 An LLM-based Knowledge Synthesis and Scientific Reasoning Framework for Biomedical Discovery ACL 2024 An LLM Compiler for Parallel Function Calling ICML 2024 A Notion of Complexity for Theory of Mind via Discrete World Models EMNLP 2024 A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs AAAI 2024 A Peek into Token Bias: Large Language Models Are Not Yet Genuine Reasoners EMNLP 2024