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)

Exploiting Geometry for Treatment Effect Estimation via Optimal Transport AAAI 2024 Exploiting Intrinsic Multilateral Logical Rules for Weakly Supervised Natural Language Video Localization ACL 2024 Exploring Causal Mechanisms for Machine Text Detection Methods NAACL 2024 Exploring Defeasibility in Causal Reasoning ACL 2024 Exploring Large Language Model for Graph Data Understanding in Online Job Recommendations AAAI 2024 Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset ACL 2024 Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification AAAI 2024 Expressive and Flexible Simulation of Information Spread Strategies in Social Networks Using Planning AAAI 2024 Expressiveness is Effectiveness: Self-supervised Fashion-aware CLIP for Video-to-Shop Retrieval IJCAI 2024 Extremely Greedy Equivalence Search UAI 2024 Fact-Driven Logical Reasoning for Machine Reading Comprehension AAAI 2024 FairReFuse: Referee-Guided Fusion for Multi-Modal Causal Fairness in Depression Detection IJCAI 2024 Faithful graphical representations of local independence AISTATS 2024 Fast Proxy Experiment Design for Causal Effect Identification NeurIPS 2024 Feature Attribution with Necessity and Sufficiency via Dual-stage Perturbation Test for Causal Explanation ICML 2024 Federated Causal Discovery from Heterogeneous Data ICLR 2024 Federated Causality Learning with Explainable Adaptive Optimization AAAI 2024 Few-shot Knowledge Graph Relational Reasoning via Subgraph Adaptation NAACL 2024 Filter, Rank, and Prune: Learning Linear Cyclic Gaussian Graphical Models AISTATS 2024 Finite Groundings for ASP with Functions: A Journey through Consistency IJCAI 2024 First-Order Progression beyond Local-Effect and Normal Actions IJCAI 2024 FOLIO: Natural Language Reasoning with First-Order Logic EMNLP 2024 Formal Logic Enabled Personalized Federated Learning through Property Inference AAAI 2024 Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation AISTATS 2024 Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024