Reasoning

RethinkMCTS: Refining Erroneous Thoughts in Monte Carlo Tree Search for Code Generation EMNLP 2025 Robustness in Single-Audience Value-based Abstract Argumentation: Complexity Results IJCAI 2025 Root Cause Analysis of Failures from Partial Causal Structures UAI 2025 RTQA : Recursive Thinking for Complex Temporal Knowledge Graph Question Answering with Large Language Models EMNLP 2025 RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarios ACL 2025 Rule-Guided Graph Neural Networks for Explainable Knowledge Graph Reasoning AAAI 2025 Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification ACL 2025 Scaling LLMs’ Social Reasoning: Sprinkle Cognitive “Aha Moment” into Fundamental Long-thought Logical Capabilities ACL 2025 Score matching through the roof: linear, nonlinear, and latent variables causal discovery CLeaR 2025 Shapley-PC: Constraint-based Causal Structure Learning with a Shapley Inspired Framework CLeaR 2025 Shield Synthesis for LTL Modulo Theories AAAI 2025 Since Faithfulness Fails: The Performance Limits of Neural Causal Discovery ICML 2025 Situation Calculus Temporally Lifted Abstractions for Generalized Planning AAAI 2025 SKRAG: A Retrieval-Augmented Generation Framework Guided by Reasoning Skeletons over Knowledge Graphs EMNLP 2025 Smart Casual Verification of the Confidential Consortium Framework NSDI 2025 Solving QNP and FOND+ with Generating, Testing and Forbidding IJCAI 2025 Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits ICML 2025 Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025 SPaRC: A Spatial Pathfinding Reasoning Challenge EMNLP 2025 Sparse Causal Discovery with Generative Intervention for Unsupervised Graph Domain Adaptation ICML 2025 Spectral Representation for Causal Estimation with Hidden Confounders AISTATS 2025 Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025 SR-FoT: A Syllogistic-Reasoning Framework of Thought for Large Language Models Tackling Knowledge-based Reasoning Tasks AAAI 2025 Standardizing Structural Causal Models ICLR 2025 STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems L4DC 2025