Knowledge & Reasoning

DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving NeurIPS 2024 Data Complexity in Expressive Description Logics with Path Expressions IJCAI 2024 Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances L4DC 2024 Data-faithful Feature Attribution: Mitigating Unobservable Confounders via Instrumental Variables NeurIPS 2024 Dealing with Numeric and Metric Time Constraints in PDDL3 via Compilation to Numeric Planning AAAI 2024 Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees AAAI 2024 Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024 De-confounded Data-free Knowledge Distillation for Handling Distribution Shifts CVPR 2024 DECRL: A Deep Evolutionary Clustering Jointed Temporal Knowledge Graph Representation Learning Approach NeurIPS 2024 Deep Equilibrium Algorithmic Reasoning NeurIPS 2024 DeepITE: Designing Variational Graph Autoencoders for Intervention Target Estimation NeurIPS 2024 DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction AAAI 2024 Deep Structural Knowledge Exploitation and Synergy for Estimating Node Importance Value on Heterogeneous Information Networks AAAI 2024 Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation AAAI 2024 Delivering Inflated Explanations AAAI 2024 Detecting and Identifying Selection Structure in Sequential Data ICML 2024 Detecting and Measuring Confounding Using Causal Mechanism Shifts NeurIPS 2024 DetermLR: Augmenting LLM-based Logical Reasoning from Indeterminacy to Determinacy ACL 2024 DFRP: A Dual-Track Feedback Recommendation System for Educational Resources IJCAI 2024 DHMConv: Directed Hypergraph Momentum Convolution Framework AISTATS 2024 Diagnosing and Rectifying Fake OOD Invariance: A Restructured Causal Approach AAAI 2024 Differentiable Task Graph Learning: Procedural Activity Representation and Online Mistake Detection from Egocentric Videos NeurIPS 2024 DiffPO: A causal diffusion model for learning distributions of potential outcomes NeurIPS 2024 DiffuCOMET: Contextual Commonsense Knowledge Diffusion ACL 2024 Directed Hypergraph Representation Learning for Link Prediction AISTATS 2024