Reasoning

Assumption violations in causal discovery and the robustness of score matching NeurIPS 2023 A Unified Experiment Design Approach for Cyclic and Acyclic Causal Models JMLR 2023 Automated Planning for Generating and Simulating Traffic Signal Strategies IJCAI 2023 Automated Verification of Idempotence for Stateful Serverless Applications OSDI 2023 Automated Verification of Social Laws in Numeric Settings AAAI 2023 Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023 Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning IJCAI 2023 Back to the Future: Toward a Hybrid Architecture for Ad Hoc Teamwork AAAI 2023 Beneath Surface Similarity: Large Language Models Make Reasonable Scientific Analogies after Structure Abduction EMNLP 2023 Beyond the Markov Equivalence Class: Extending Causal Discovery under Latent Confounding CLeaR 2023 Bipolar Abstract Dialectical Frameworks Are Covered by Kleene’s Three-valued Logic IJCAI 2023 BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Information NeurIPS 2023 Bounding the Family-Wise Error Rate in Local Causal Discovery Using Rademacher Averages (Extended Abstract) IJCAI 2023 Can ChatGPT Perform Reasoning Using the IRAC Method in Analyzing Legal Scenarios Like a Lawyer? EMNLP 2023 Can ChatGPT Understand Causal Language in Science Claims? ACL 2023 Can Large Language Models Reason about Program Invariants? ICML 2023 Can Retriever-Augmented Language Models Reason? The Blame Game Between the Retriever and the Language Model EMNLP 2023 CAR: Conceptualization-Augmented Reasoner for Zero-Shot Commonsense Question Answering EMNLP 2023 Causal Bounds in Quasi-Markovian Graphs ICML 2023 Causal de Finetti: On the Identification of Invariant Causal Structure in Exchangeable Data NeurIPS 2023 CausalDialogue: Modeling Utterance-level Causality in Conversations ACL 2023 Causal Discovery for time series from multiple datasets with latent contexts UAI 2023 Causal Discovery from Subsampled Time Series with Proxy Variables NeurIPS 2023 Causal Discovery in Semi-Stationary Time Series NeurIPS 2023 Causal Discovery with Hidden Confounders using the Algorithmic Markov Condition UAI 2023