Reasoning

Exogenous Isomorphism for Counterfactual Identifiability ICML 2025 Exploring Backward Reasoning in Large Language Models NAACL 2025 Extending Structural Causal Models for Autonomous Vehicles to Simplify Temporal System Construction & Enable Dynamic Interactions Between Agents CLeaR 2025 Extracting Financial Causality through QA: Insights from FinCausal 2025 Spanish Subtask COLING 2025 Extracting Rare Dependence Patterns via Adaptive Sample Reweighting ICML 2025 Facets in Argumentation: A Formal Approach to Argument Significance IJCAI 2025 Facilitating Long Context Understanding via Supervised Chain-of-Thought Reasoning EMNLP 2025 FactReasoner: A Probabilistic Approach to Long-Form Factuality Assessment for Large Language Models EMNLP 2025 Factual Knowledge in Language Models: Robustness and Anomalies under Simple Temporal Context Variations ACL 2025 Fairness on Principal Stratum: A New Perspective on Counterfactual Fairness ICML 2025 FairPFN: A Tabular Foundation Model for Causal Fairness ICML 2025 Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations ACL 2025 Faithful Inference Chains Extraction for Fact Verification over Multi-view Heterogeneous Graph with Causal Intervention COLING 2025 Falsification of Unconfoundedness by Testing Independence of Causal Mechanisms ICML 2025 Featured Argumentation Framework: Semantics and Complexity IJCAI 2025 Federated Causally Invariant Feature Learning AAAI 2025 Federated Causal Structure Learning with Non-identical Variable Sets ICML 2025 FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network IJCAI 2025 FinanceReasoning: Benchmarking Financial Numerical Reasoning More Credible, Comprehensive and Challenging ACL 2025 Finsler Multi-Dimensional Scaling: Manifold Learning for Asymmetric Dimensionality Reduction and Embedding CVPR 2025 First-Order Automata AAAI 2025 First-Order Coalition Logic IJCAI 2025 Flow-based Time-aware Causal Structure Learning for Sequential Recommendation IJCAI 2025 Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network AAAI 2025 From Chain to Tree: Refining Chain-like Rules into Tree-like Rules on Knowledge Graphs COLING 2025