conftrace_

Reasoning

2,774 papers (30 classified directly here)

Subtopics · a paper can sit in several, so these overlap

Causal Inference (1,197) Automated Reasoning (876) Formal Methods (379) Automated Planning (304) Graph Embeddings (227)

Papers per year

5

6

14

6

11

15

17

25

15

13

23

99

132

205

277

248

308

329

465

453

108

'10

'15

'20

'25

Papers (including subtopics)

Consciousness-Inspired Spatio-Temporal Abstractions for Better Generalization in Reinforcement Learning ICLR 2024 Consistency of Neural Causal Partial Identification NeurIPS 2024 Continuous Treatment Effects with Surrogate Outcomes ICML 2024 Conversational Modeling for Constraint Satisfaction AAAI 2024 CoreRec: A Counterfactual Correlation Inference for Next Set Recommendation AAAI 2024 Counterfactual Reasoning for Multi-Label Image Classification via Patching-Based Training ICML 2024 CUTS+: High-Dimensional Causal Discovery from Irregular Time-Series AAAI 2024 DARA: Decomposition-Alignment-Reasoning Autonomous Language Agent for Question Answering over Knowledge Graphs ACL 2024 DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving NeurIPS 2024 Data Complexity in Expressive Description Logics with Path Expressions IJCAI 2024 Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances L4DC 2024 Data-faithful Feature Attribution: Mitigating Unobservable Confounders via Instrumental Variables NeurIPS 2024 Dealing with Numeric and Metric Time Constraints in PDDL3 via Compilation to Numeric Planning AAAI 2024 Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees AAAI 2024 Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024 De-confounded Data-free Knowledge Distillation for Handling Distribution Shifts CVPR 2024 Deep Equilibrium Algorithmic Reasoning NeurIPS 2024 DeepITE: Designing Variational Graph Autoencoders for Intervention Target Estimation NeurIPS 2024 DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction AAAI 2024 Deep Structural Knowledge Exploitation and Synergy for Estimating Node Importance Value on Heterogeneous Information Networks AAAI 2024 Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation AAAI 2024 Delivering Inflated Explanations AAAI 2024 Detecting and Identifying Selection Structure in Sequential Data ICML 2024 Detecting and Measuring Confounding Using Causal Mechanism Shifts NeurIPS 2024 DetermLR: Augmenting LLM-based Logical Reasoning from Indeterminacy to Determinacy ACL 2024