Reasoning

Proportion-based Sensitivity Analysis of Uncontrolled Confounding Bias in Causal Inference IJCAI 2024 Provably Safe Neural Network Controllers via Differential Dynamic Logic NeurIPS 2024 Proving Olympiad Algebraic Inequalities without Human Demonstrations NeurIPS 2024 Proving Theorems Recursively NeurIPS 2024 Pure-Past Action Masking AAAI 2024 PyClause - Simple and Efficient Rule Handling for Knowledge Graphs IJCAI 2024 Qualitative Mechanism Independence NeurIPS 2024 Quantitative Claim-Centric Reasoning in Logic-Based Argumentation IJCAI 2024 Quantitative Reasoning over Incomplete Abstract Argumentation Frameworks IJCAI 2024 QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios EMNLP 2024 QWO: Speeding Up Permutation-Based Causal Discovery in LiGAMs NeurIPS 2024 Reasoning about Causality in Games (Abstract Reprint) AAAI 2024 ReConcile: Round-Table Conference Improves Reasoning via Consensus among Diverse LLMs ACL 2024 Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic AAAI 2024 Redefining ABA+ Semantics via Abstract Set-to-Set Attacks AAAI 2024 Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors ICLR 2024 Retro-fallback: retrosynthetic planning in an uncertain world ICLR 2024 Revisiting Document-Level Relation Extraction with Context-Guided Link Prediction AAAI 2024 Reward-Relevance-Filtered Linear Offline Reinforcement Learning AISTATS 2024 Right for Right Reasons: Large Language Models for Verifiable Commonsense Knowledge Graph Question Answering EMNLP 2024 RulE: Knowledge Graph Reasoning with Rule Embedding ACL 2024 Safe Abductive Learning in the Presence of Inaccurate Rules AAAI 2024 SALMON: A Structure-Aware Language Model with logicality and densification strategy for Temporal Knowledge Graph Reasoning EMNLP 2024 Sample Complexity of Interventional Causal Representation Learning NeurIPS 2024 Sample Quality Heterogeneity-aware Federated Causal Discovery through Adaptive Variable Space Selection IJCAI 2024