Reasoning

Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025 Checking Consistency of CP-Theory Preferences in Polynomial Time AAAI 2025 Code Execution as Grounded Supervision for LLM Reasoning EMNLP 2025 CoDeR: Counterfactual Demand Reasoning for Sequential Recommendation AAAI 2025 CogniPlan: Uncertainty-Guided Path Planning with Conditional Generative Layout Prediction CoRL 2025 CognTKE: A Cognitive Temporal Knowledge Extrapolation Framework AAAI 2025 Com2 : A Causal-Guided Benchmark for Exploring Complex Commonsense Reasoning in Large Language Models ACL 2025 Commonsense Subgraph for Inductive Relation Reasoning with Meta-learning COLING 2025 Complete Characterization for Adjustment in Summary Causal Graphs of Time Series UAI 2025 Complete Symmetry Breaking for Finite Models AAAI 2025 Compositional Causal Reasoning Evaluation in Language Models ICML 2025 Computationally Hard Problems Are Hard for QBF Proof Systems Too AAAI 2025 Conditional Average Treatment Effect Estimation Under Hidden Confounders UAI 2025 Conditional Independent Test in the Presence of Measurement Error with Causal Structure Learning IJCAI 2025 Consistent Query Answering over Existential Rules with Open and Closed Predicates AAAI 2025 Constraint-based Causal Discovery from a Collection of Conditioning Sets UAI 2025 Constraint-based causal discovery with tiered background knowledge and latent variables in single or overlapping datasets CLeaR 2025 Contagion Effect Estimation Using Proximal Embeddings CLeaR 2025 Context-Aware Reasoning On Parametric Knowledge for Inferring Causal Variables EMNLP 2025 Continuous Structure Constraint Integration for Robust Causal Discovery AISTATS 2025 Contractions Based on Optimal Repairs (Extended Abstract) IJCAI 2025 Contrastive Learning Using Graph Embeddings for Domain Adaptation of Language Models in the Process Industry EMNLP 2025 Controlling for discrete unmeasured confounding in nonlinear causal models CLeaR 2025 CoRE: Condition-based Reasoning for Identifying Outcome Variance in Complex Events ACL 2025 Correcting on Graph: Faithful Semantic Parsing over Knowledge Graphs with Large Language Models ACL 2025