conftrace_
← Knowledge & Reasoning
Knowledge & Reasoning ›

Reasoning

2,428 papers (30 classified directly here)

Subtopics

Causal Inference (936) Automated Reasoning (843) Formal Methods (351) Automated Planning (288) Graph Embeddings (215)

Papers per year

11
11
272
299
'10
'15
'20
'25

Papers (including subtopics)

Identifiability Analysis of Linear ODE Systems with Hidden Confounders NIPS 2024
Detecting and Measuring Confounding Using Causal Mechanism Shifts NIPS 2024
Learning Linear Causal Representations from General Environments: Identifiability and Intrinsic Ambiguity NIPS 2024
Microstructures and Accuracy of Graph Recall by Large Language Models NIPS 2024
Partial observation can induce mechanistic mismatches in data-constrained models of neural dynamics NIPS 2024
Abductive Reasoning in Logical Credal Networks NIPS 2024
Consistency of Neural Causal Partial Identification NIPS 2024
Qualitative Mechanism Independence NIPS 2024
Marrying Causal Representation Learning with Dynamical Systems for Science NIPS 2024
Iteratively Refined Early Interaction Alignment for Subgraph Matching based Graph Retrieval NIPS 2024
Two-way Deconfounder for Off-policy Evaluation in Causal Reinforcement Learning NIPS 2024
AutoPSV: Automated Process-Supervised Verifier NIPS 2024
Dissecting the Failure of Invariant Learning on Graphs NIPS 2024
Higher-Order Causal Message Passing for Experimentation with Complex Interference NIPS 2024
Proving Olympiad Algebraic Inequalities without Human Demonstrations NIPS 2024
Multi-language Diversity Benefits Autoformalization NIPS 2024
Achievable distributional robustness when the robust risk is only partially identified NIPS 2024
Neural Model Checking NIPS 2024
Interventional Causal Discovery in a Mixture of DAGs NIPS 2024
Proving Theorems Recursively NIPS 2024
Identifying Causal Effects Under Functional Dependencies NIPS 2024
Causal Imitation for Markov Decision Processes: a Partial Identification Approach NIPS 2024
Intervention and Conditioning in Causal Bayesian Networks NIPS 2024
DeepITE: Designing Variational Graph Autoencoders for Intervention Target Estimation NIPS 2024
Mind's Eye of LLMs: Visualization-of-Thought Elicits Spatial Reasoning in Large Language Models NIPS 2024