Reasoning

Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs NAACL 2025 Neuro-Symbolic Natural Language Processing EMNLP 2025 Neuro-Symbolic Query Compiler ACL 2025 New Compilation Languages Based on Restricted Weak Decomposability AAAI 2025 Nondeterministic Causal Models CLeaR 2025 Non-expansive Fuzzy ALC IJCAI 2025 Nonlinear Causal Discovery for Grouped Data UAI 2025 On Action Theories with Iterable First-Order Progression AAAI 2025 On Efficient Estimation of Distributional Treatment Effects under Covariate-Adaptive Randomization ICML 2025 On Measuring Inconsistency in Graph Databases with Regular Path Constraints (Abstract Reprint) IJCAI 2025 On Temporal Verification of Stateful P4 Programs NSDI 2025 On the Consistency of Commonsense in Large Language Models ACL 2025 On the Out-of-Distribution Generalization of Self-Supervised Learning ICML 2025 On the Reliability of Large Language Models for Causal Discovery ACL 2025 On the Representation of Pairwise Causal Background Knowledge and Its Applications in Causal Inference JMLR 2025 On the Role of Entity and Event Level Conceptualization in Generalizable Reasoning: A Survey of Tasks, Methods, Applications, and Future Directions EMNLP 2025 Ontology-Guided Reverse Thinking Makes Large Language Models Stronger on Knowledge Graph Question Answering ACL 2025 Open-World Planning via Lifted Regression with LLM-Inferred Affordances for Embodied Agents ACL 2025 Optimal estimation of linear non-Gaussian structure equation models AISTATS 2025 Option Symbol Matters: Investigating and Mitigating Multiple-Choice Option Symbol Bias of Large Language Models NAACL 2025 Orthogonal Causal Calibration (Extended Abstract) COLT 2025 Out-of-Distribution Generalization on Graphs via Progressive Inference AAAI 2025 Parallel Belief Contraction via Order Aggregation IJCAI 2025 Performance and Limitations of Fine-Tuned LLMs in SPARQL Query Generation COLING 2025 Period-LLM: Extending the Periodic Capability of Multimodal Large Language Model CVPR 2025