Reasoning

From Feedback to Checklists: Grounded Evaluation of AI-Generated Clinical Notes EMNLP 2025 From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs ACL 2025 GCAD: Anomaly Detection in Multivariate Time Series from the Perspective of Granger Causality AAAI 2025 GCF: Estimating Unobserved Demand Using Graph Causal Forecasting AAAI 2025 Generalized Criterion for Identifiability of Additive Noise Models Using Majorization AISTATS 2025 Generalized Random Forests Using Fixed-Point Trees ICML 2025 Generalized Safe Conditional Syntax Splitting of Belief Bases IJCAI 2025 Generalizing Causal Effects from Randomized Controlled Trials to Target Populations across Diverse Environments ICML 2025 Generating Commonsense Reasoning Questions with Controllable Complexity through Multi-step Structural Composition COLING 2025 Generating Counterfactual Explanations Under Temporal Constraints AAAI 2025 Generating Long-form Story Using Dynamic Hierarchical Outlining with Memory-Enhancement NAACL 2025 Generating Synthetic Relational Tabular Data via Structural Causal Models ACL 2025 Generative Intervention Models for Causal Perturbation Modeling ICML 2025 GeoPro-Net: Learning Interpretable Spatiotemporal Prediction Models Through Statistically-Guided Geo-Prototyping AAAI 2025 GIVE: Structured Reasoning of Large Language Models with Knowledge Graph Inspired Veracity Extrapolation ICML 2025 Goal-Driven Reasoning in DatalogMTL with Magic Sets AAAI 2025 Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 JMLR 2025 Gradient-based Causal Feature Selection IJCAI 2025 Grammar-Constrained Decoding Makes Large Language Models Better Logical Parsers ACL 2025 Graph-constrained Reasoning: Faithful Reasoning on Knowledge Graphs with Large Language Models ICML 2025 GraphEval36K: Benchmarking Coding and Reasoning Capabilities of Large Language Models on Graph Datasets NAACL 2025 Gravity-Bench-v1: A Benchmark on Gravitational Physics Discovery for Agents ICML 2025 Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions IJCAI 2025 Heterogeneous Treatment Effect in Time-to-Event Outcomes: Harnessing Censored Data with Recursively Imputed Trees ICML 2025 Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification ICML 2025