← Optimization & Theory
Machine Learning › Optimization & Theory ›

Theory

4950 directly classified papers

Papers per year

Papers

Angular Gradient Sign Method: Uncovering Vulnerabilities in Hyperbolic Networks AAAI 2026
Breaking Task Boundaries: A Unified Model for 3D Medical Image Fusion and Segmentation Guided by Manifold Perspective AAAI 2026
Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance AAAI 2026
Spectral Basis Learning for Expressive Graph Neural Networks in Link Prediction AAAI 2026
MDBench: Benchmarking Data-Driven Methods for Model Discovery AAAI 2026
Neural Tangent Kernels Under Stochastic Data Augmentation AAAI 2026
FlorE: Integrating Full Lorentz Group and Directional Offsets for Effective Knowledge Graph Embedding AAAI 2026
A Theoretical Analysis of Detecting Large Model-Generated Time Series AAAI 2026
An Information Theoretic Evaluation Metric for Strong Unlearning AAAI 2026
Principled Analysis of Deep Reinforcement Learning Evaluation and Design Paradigms AAAI 2026
Exploiting Space Folding by Neural Networks AAAI 2026
Repetition Makes Perfect: Recurrent Graph Neural Networks Match Message Passing Limit AAAI 2026
HyRNN: Hybrid Recurrent Neural Networks for Approximating Hybrid Dynamical Systems AAAI 2026
Blessing of Dimensionality for Approximating Sobolev Classes on Manifolds AAAI 2026
Adaptive Riemannian Graph Neural Networks AAAI 2026
Minimum-Length Conformal Prediction Sets for Ordinal Classification AAAI 2026
Beyond Sharpness: The Role of Nonuniformity in Generalization AAAI 2026
On the Probabilistic Learnability of Compact Neural Network Preimage Bounds AAAI 2026
Probabilistic Safety Verification of Neural Policies via Predicate Abstraction AAAI 2026
A Fortiori Case-Based Reasoning: From Theory to Data (Abstract Reprint) AAAI 2026
Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles AAAI 2026
No-Regret Strategy Solving in Imperfect-Information Games via Pre-Trained Embedding AAAI 2026
Expressive Power of Graph Transformers via Logic AAAI 2026
Fine-grained Uncertainty Decomposition in Large Language Models: A Spectral Approach AAAI 2026
Proof Systems That Tightly Characterise Model Counting Algorithms AAAI 2026