conftrace_
← Core AI
Artificial Intelligence › Core AI ›

Reasoning

2,964 papers

Papers per year

7
14
131
832
'10
'15
'20
'25

Papers

Controllable Neural Symbolic Regression ICML 2023
QASA: Advanced Question Answering on Scientific Articles ICML 2023
Continuation Path Learning for Homotopy Optimization ICML 2023
Graph Switching Dynamical Systems ICML 2023
Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal ICML 2023
Extrapolative Controlled Sequence Generation via Iterative Refinement ICML 2023
Truncating Trajectories in Monte Carlo Reinforcement Learning ICML 2023
Off-Policy Evaluation for Large Action Spaces via Conjunct Effect Modeling ICML 2023
Active Learning based Structural Inference ICML 2023
On the Forward Invariance of Neural ODEs ICML 2023
Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation ICML 2023
NeuPSL: Neural Probabilistic Soft Logic IJCAI 2023
LGI-GT: Graph Transformers with Local and Global Operators Interleaving IJCAI 2023
Memory-Limited Model-Based Diagnosis (Extended Abstract) IJCAI 2023
Simplified Risk-aware Decision Making with Belief-dependent Rewards in Partially Observable Domains (Extended Abstract) IJCAI 2023
Necessary and Sufficient Conditions for Inverse Reinforcement Learning of Bayesian Stopping Time Problems JMLR 2023
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis NIPS 2022
NaturalProver: Grounded Mathematical Proof Generation with Language Models NIPS 2022
Formalizing Consistency and Coherence of Representation Learning NIPS 2022
Explainability Via Causal Self-Talk NIPS 2022
CLEVRER-Humans: Describing Physical and Causal Events the Human Way NIPS 2022
A Solver-free Framework for Scalable Learning in Neural ILP Architectures NIPS 2022
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers NIPS 2022
Policy Gradient With Serial Markov Chain Reasoning NIPS 2022
Phase transitions in when feedback is useful NIPS 2022