← Optimization
Mathematics & Optimization › Optimization ›

Theory

97 directly classified papers

Papers per year

Papers

Formally Verified Approximate Policy Iteration AAAI 2025
Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents IJCAI 2024
Metric Transforms and Low Rank Representations of Kernels for Fast Attention NIPS 2024
Lookback Prophet Inequalities NIPS 2024
Reliable Learning of Halfspaces under Gaussian Marginals NIPS 2024
Warm-starting Push-Relabel NIPS 2024
Low Degree Hardness for Broadcasting on Trees NIPS 2024
Inexact Augmented Lagrangian Methods for Conic Optimization: Quadratic Growth and Linear Convergence NIPS 2024
Model Collapse Demystified: The Case of Regression NIPS 2024
Neural Closure Certificates AAAI 2024
Resolution Limit of Single-Photon LiDAR CVPR 2024
Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers NIPS 2024
Splitting Answer Set Programs with Respect to Intensionality Statements AAAI 2023
On the Compilability of Bounded Numeric Planning IJCAI 2023
Minimax-Optimal Location Estimation NIPS 2023
Voting with Preference Intensities AAAI 2023
Tight Inapproximability for Graphical Games AAAI 2023
Sharp Spectral Rates for Koopman Operator Learning NIPS 2023
On Certified Generalization in Structured Prediction NIPS 2023
The Complexity of Subelection Isomorphism Problems AAAI 2022
Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation AAAI 2022
Dimensionality and Coordination in Voting: The Distortion of STV AAAI 2022
Tractable Abstract Argumentation via Backdoor-Treewidth AAAI 2022
Finding Second-Order Stationary Points in Nonconvex-Strongly-Concave Minimax Optimization NIPS 2022