Reasoning

The Price of Valid Inference After Causal Discovery UAI 2026 The relative value of interventional and observational samples in Bayesian Causal Linear Gaussian Models UAI 2026 Thiyaga6851 at SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language Models using Neuro-Symbolic Mapping SemEval 2026 Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence AAAI 2026 uir-cis at SemEval-2026 Task 12: Mitigating Prior-Induced Hallucinations in Retrieval-Augmented Reasoning via Precision-Oriented Decoding SemEval 2026 Variance Estimation and Selecting Good Estimands for Causal Effect Queries UAI 2026 Verifying Nonlinear Neural Feedback Systems using Polyhedral Enclosures L4DC 2026 YNU-NLP at SemEval-2026 Task 11: A Neuro-Symbolic Approach with Reflexion Mechanism Disentangling Content and Formal Reasoning in Language Models SemEval 2026 $σ$-Maximal Ancestral Graphs UAI 2025 Abstraction-Based Control of Unknown Continuous-Space Models with Just Two Trajectories L4DC 2025 Abstraction Heuristics for Classical Planning Tasks with Conditional Effects IJCAI 2025 A Causal World Model Underlying Next Token Prediction: Exploring GPT in a Controlled Environment ICML 2025 Accelerate Parallelizable Reasoning via Parallel Decoding within One Sequence EMNLP 2025 A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025 A Conditional Independence Test in the Presence of Discretization ICLR 2025 Actual Causation and Nondeterministic Causal Models CLeaR 2025 Addressing Hallucination in Causal Q&A: The Efficacy of Fine-tuning over Prompting in LLMs COLING 2025 A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds AAAI 2025 Advancing Fairness in Precision Medicine: A Universal Framework for Optimal Treatment Estimation in Censored Data AISTATS 2025 A Human-LLM Note-Taking System with Case-Based Reasoning as Framework for Scientific Discovery NAACL 2025 A Layered Formal Methods Approach to Answering Queue-related Queries NSDI 2025 Algorithmic syntactic causal identification CLeaR 2025 Aligning Graphical and Functional Causal Abstractions CLeaR 2025 Alleviating Dual Biases in Recommendation (Student Abstract) AAAI 2025 A Logical Analysis of Hanabi AAAI 2025