conftrace_
← Optimization
Mathematics & Optimization › Optimization ›

Theory

98 papers

Papers per year

1
9
2
'15
'20
'25

Papers

Optimal Bounds for Tyler’s M-Estimator for Elliptical Distributions ALT 2026
Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025
Formally Verified Approximate Policy Iteration AAAI 2025
Low Degree Hardness for Broadcasting on Trees NIPS 2024
Warm-starting Push-Relabel NIPS 2024
Inexact Augmented Lagrangian Methods for Conic Optimization: Quadratic Growth and Linear Convergence NIPS 2024
Lookback Prophet Inequalities NIPS 2024
Reliable Learning of Halfspaces under Gaussian Marginals NIPS 2024
Model Collapse Demystified: The Case of Regression NIPS 2024
Metric Transforms and Low Rank Representations of Kernels for Fast Attention NIPS 2024
Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers NIPS 2024
Neural Closure Certificates AAAI 2024
Resolution Limit of Single-Photon LiDAR CVPR 2024
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents IJCAI 2024
Minimax-Optimal Location Estimation NIPS 2023
On Certified Generalization in Structured Prediction NIPS 2023
Sharp Spectral Rates for Koopman Operator Learning NIPS 2023
Tight Inapproximability for Graphical Games AAAI 2023
Voting with Preference Intensities AAAI 2023
Splitting Answer Set Programs with Respect to Intensionality Statements AAAI 2023
On the Compilability of Bounded Numeric Planning IJCAI 2023
All Politics is Local: Redistricting via Local Fairness NIPS 2022
On Learning and Refutation in Noninteractive Local Differential Privacy NIPS 2022
Reconstruction on Trees and Low-Degree Polynomials NIPS 2022
Extra-Newton: A First Approach to Noise-Adaptive Accelerated Second-Order Methods NIPS 2022