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)

A Twist for Graph Classification: Optimizing Causal Information Flow in Graph Neural Networks AAAI 2024 A Unified Temporal Knowledge Graph Reasoning Model Towards Interpolation and Extrapolation ACL 2024 A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming AAAI 2024 A Usage-centric Take on Intent Understanding in E-Commerce EMNLP 2024 Auto311: A Confidence-Guided Automated System for Non-emergency Calls AAAI 2024 Automated CPU Design by Learning from Input-Output Examples IJCAI 2024 Automating the Selection of Proxy Variables of Unmeasured Confounders ICML 2024 AutoPSV: Automated Process-Supervised Verifier NeurIPS 2024 A Versatile Causal Discovery Framework to Allow Causally-Related Hidden Variables ICLR 2024 Axiomatic Aggregations of Abductive Explanations AAAI 2024 Axiomatic effect propagation in structural causal models JMLR 2024 BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving AAAI 2024 Beaver: Practical Partial Snapshots for Distributed Cloud Services OSDI 2024 Belief-State Query Policies for User-Aligned POMDPs NeurIPS 2024 Benchmarking Observational Studies with Experimental Data under Right-Censoring AISTATS 2024 Beyond Clinical Trials: Using Real World Evidence to Investigate Heterogeneous, Time-Varying Treatment Effects MLHC 2024 Beyond Model Performance: Can Link Prediction Enrich French Lexical Graphs? COLING 2024 Beyond Recognising Entailment: Formalising Natural Language Inference from an Argumentative Perspective ACL 2024 Bi-Chainer: Automated Large Language Models Reasoning with Bidirectional Chaining ACL 2024 Bilateral Gradual Semantics for Weighted Argumentation AAAI 2024 Bivariate Causal Discovery using Bayesian Model Selection ICML 2024 Bounding causal effects with leaky instruments UAI 2024 Building Minimal and Reusable Causal State Abstractions for Reinforcement Learning AAAI 2024 Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting IJCAI 2024 Call Me When Necessary: LLMs can Efficiently and Faithfully Reason over Structured Environments ACL 2024