Reasoning

ArchCode: Incorporating Software Requirements in Code Generation with Large Language Models ACL 2024 Are LLMs Capable of Data-based Statistical and Causal Reasoning? Benchmarking Advanced Quantitative Reasoning with Data ACL 2024 A Systematic Analysis of Large Language Models as Soft Reasoners: The Case of Syllogistic Inferences EMNLP 2024 A Theoretical Understanding of Self-Correction through In-context Alignment NeurIPS 2024 Atomic Inference for NLI with Generated Facts as Atoms EMNLP 2024 Augmenting Reasoning Capabilities of LLMs with Graph Structures in Knowledge Base Question Answering EMNLP 2024 AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints ACL 2024 Auto-Evolve: Enhancing Large Language Model’s Performance via Self-Reasoning Framework EMNLP 2024 Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency NeurIPS 2024 Autoformalizing Euclidean Geometry ICML 2024 AutoPSV: Automated Process-Supervised Verifier NeurIPS 2024 Auto-Regressive Next-Token Predictors are Universal Learners ICML 2024 BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving AAAI 2024 BBA: Bi-Modal Behavioral Alignment for Reasoning with Large Vision-Language Models ACL 2024 BC-Prover: Backward Chaining Prover for Formal Theorem Proving EMNLP 2024 BDIQA: A New Dataset for Video Question Answering to Explore Cognitive Reasoning through Theory of Mind AAAI 2024 BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts UAI 2024 Belief Revision: The Adaptability of Large Language Models Reasoning EMNLP 2024 Benchmarking Chinese Commonsense Reasoning of LLMs: From Chinese-Specifics to Reasoning-Memorization Correlations ACL 2024 Benchmarking Generative Models on Computational Thinking Tests in Elementary Visual Programming NeurIPS 2024 Beyond Embeddings: The Promise of Visual Table in Visual Reasoning EMNLP 2024 Beyond Lines and Circles: Unveiling the Geometric Reasoning Gap in Large Language Models EMNLP 2024 Beyond Recognising Entailment: Formalising Natural Language Inference from an Argumentative Perspective ACL 2024 Beyond What If: Advancing Counterfactual Text Generation with Structural Causal Modeling IJCAI 2024 Bi-Chainer: Automated Large Language Models Reasoning with Bidirectional Chaining ACL 2024