← Optimization & Theory
Machine Learning › Optimization & Theory ›

Theory

4950 directly classified papers

Papers per year

Papers

Analyzing Generalization in Policy Networks: A Case Study with the Double-Integrator System AAAI 2024
Batch Normalization Is Blind to the First and Second Derivatives of the Loss AAAI 2024
Enhancing Robustness in Deep Reinforcement Learning: A Lyapunov Exponent Approach NIPS 2024
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence AAAI 2024
Anytime-Constrained Reinforcement Learning AISTATS 2024
Robustness Verification of Multi-Class Tree Ensembles AAAI 2024
Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024
Towards Efficient Verification of Quantized Neural Networks AAAI 2024
The Implicit Bias of Gradient Descent on Separable Multiclass Data NIPS 2024
Horizon-Free and Instance-Dependent Regret Bounds for Reinforcement Learning with General Function Approximation AISTATS 2024
Base of RoPE Bounds Context Length NIPS 2024
Achievable distributional robustness when the robust risk is only partially identified NIPS 2024
Learning Extensive-Form Perfect Equilibria in Two-Player Zero-Sum Sequential Games AISTATS 2024
Rethinking Propagation for Unsupervised Graph Domain Adaptation AAAI 2024
Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction AAAI 2024
Language Models Do Hard Arithmetic Tasks Easily and Hardly Do Easy Arithmetic Tasks ACL 2024
Beyond Memorization: The Challenge of Random Memory Access in Language Models ACL 2024
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL AAAI 2024
Your Prompt Is My Command: On Assessing the Human-Centred Generality of Multimodal Models (Abstract Reprint) AAAI 2024
The Value of Reward Lookahead in Reinforcement Learning NIPS 2024
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees AAAI 2024
On the Effect of Key Factors in Spurious Correlation: A theoretical Perspective AISTATS 2024
Parameterized Approximation Algorithms for Sum of Radii Clustering and Variants AAAI 2024
A Survey of Learning Criteria Going beyond the Usual Risk (Abstract Reprint) AAAI 2024
Taming "data-hungry" reinforcement learning? Stability in continuous state-action spaces NIPS 2024