Knowledge & Reasoning

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions AAAI 2025 LLM-DR: A Novel LLM-Aided Diffusion Model for Rule Generation on Temporal Knowledge Graphs AAAI 2025 LLM-enhanced Score Function Evolution for Causal Structure Learning IJCAI 2025 LLM-Guided Probabilistic Program Induction for POMDP Model Estimation CoRL 2025 LLM-Guided Semantic Relational Reasoning for Multimodal Intent Recognition EMNLP 2025 LLM×MapReduce-V3: Enabling Interactive In-Depth Survey Generation through a MCP-Driven Hierarchically Modular Agent System EMNLP 2025 LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models ACL 2025 LLMScan: Causal Scan for LLM Misbehavior Detection ICML 2025 LLMSR@XLLM25: Integrating Reasoning Prompt Strategies with Structural Prompt Formats for Enhanced Logical Inference ACL 2025 Local Causal Discovery Without Causal Sufficiency AAAI 2025 Local Identifying Causal Relations in the Presence of Latent Variables ICML 2025 Local Interference: Removing Interference Bias in Semi-Parametric Causal Models CLeaR 2025 Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving ACL 2025 Locally Private Causal Inference for Randomized Experiments JMLR 2025 Logarithmic Neyman Regret for Adaptive Estimation of the Average Treatment Effect AISTATS 2025 Logical Table-to-Text Generation: Challenges, Methods, and Reasoning IJCNLP 2025 LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning ACL 2025 Logic-Regularized Verifier Elicits Reasoning from LLMs ACL 2025 LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models EMNLP 2025 Long-Term Individual Causal Effect Estimation via Identifiable Latent Representation Learning IJCAI 2025 Lost in the Distance: Large Language Models Struggle to Capture Long-Distance Relational Knowledge NAACL 2025 LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments AAAI 2025 LTLf Synthesis Under Unreliable Input AAAI 2025 LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG ACL 2025 M³GQA: A Multi-Entity Multi-Hop Multi-Setting Graph Question Answering Benchmark ACL 2025