conftrace_
← Optimization & Theory
Machine Learning › Optimization & Theory ›

Theory

4,955 papers

Papers per year

1
4
37
72
447
426
'00
'05
'10
'15
'20
'25

Papers

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis IJCAI 2021
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements IJCAI 2021
Improved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach IJCAI 2021
Multi-Agent Belief Base Revision IJCAI 2021
Faster Smarter Proof by Induction in Isabelle/HOL IJCAI 2021
A Ladder of Causal Distances IJCAI 2021
Verifying Reinforcement Learning up to Infinity IJCAI 2021
Learning Groupwise Explanations for Black-Box Models IJCAI 2021
Learning CNF Theories Using MDL and Predicate Invention IJCAI 2021
Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching IJCAI 2021
On the Intrinsic Differential Privacy of Bagging IJCAI 2021
Explaining Deep Neural Network Models with Adversarial Gradient Integration IJCAI 2021
Probabilistic Sufficient Explanations IJCAI 2021
Stability and Generalization for Randomized Coordinate Descent IJCAI 2021
Mean Field Equilibrium in Multi-Armed Bandit Game with Continuous Reward IJCAI 2021
Active Goal Recognition Design IJCAI 2021
Change the World - How Hard Can that Be? On the Computational Complexity of Fixing Planning Models IJCAI 2021
Distortion in Social Choice Problems: The First 15 Years and Beyond IJCAI 2021
What’s the Context? Implicit and Explicit Assumptions in Model-Based Goal Recognition IJCAI 2021
A Survey on Goal Recognition as Planning IJCAI 2021
Information-Theoretic Methods in Deep Neural Networks: Recent Advances and Emerging Opportunities IJCAI 2021
Improved Guarantees and a Multiple-descent Curve for Column Subset Selection and the Nystrom Method (Extended Abstract) IJCAI 2021
On Sampled Metrics for Item Recommendation (Extended Abstract) IJCAI 2021
Finding the Hardest Formulas for Resolution (Extended Abstract) IJCAI 2021
Explaining Contextualization in Language Models using Visual Analytics IJCNLP 2021