Theory

Compact Geometric Representations of Hierarchies COLT 2026 Explainable Clustering of Mixture Models UAI 2026 Fast Score-Based Sampling via Log-Concave Reductions COLT 2026 Optimal Bounds for Tyler’s M-Estimator for Elliptical Distributions ALT 2026 Formally Verified Approximate Policy Iteration AAAI 2025 Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025 Theoretical Analysis of Leave-one-out Cross Validation for Non-differentiable Penalties under High-dimensional Settings AISTATS 2025 Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents IJCAI 2024 Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers NeurIPS 2024 Inexact Augmented Lagrangian Methods for Conic Optimization: Quadratic Growth and Linear Convergence NeurIPS 2024 Lookback Prophet Inequalities NeurIPS 2024 Low Degree Hardness for Broadcasting on Trees NeurIPS 2024 Metric Transforms and Low Rank Representations of Kernels for Fast Attention NeurIPS 2024 Model Collapse Demystified: The Case of Regression NeurIPS 2024 Neural Closure Certificates AAAI 2024 Non-Oblivious Performance of Random Projections ACML 2024 Reliable Learning of Halfspaces under Gaussian Marginals NeurIPS 2024 Resolution Limit of Single-Photon LiDAR CVPR 2024 Warm-starting Push-Relabel NeurIPS 2024 Minimax-Optimal Location Estimation NeurIPS 2023 On Certified Generalization in Structured Prediction NeurIPS 2023 On the Compilability of Bounded Numeric Planning IJCAI 2023 Open Problem: Polynomial linearly-convergent method for g-convex optimization? COLT 2023 Sharp Spectral Rates for Koopman Operator Learning NeurIPS 2023 Splitting Answer Set Programs with Respect to Intensionality Statements AAAI 2023