Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification

Get full text

GraphNeuralNetworks.jl: Deep Learning on Graphs with Julia

Get full text

Dynamic angular synchronization under smoothness constraints

Get full text

Derivative-Informed Neural Operator Acceleration of Geometric MCMC for Infinite-Dimensional Bayesian Inverse Problems

Get full text

Wasserstein F-tests for Frechet regression on Bures-Wasserstein manifolds

Get full text

Distributed Stochastic Bilevel Optimization: Improved Complexity and Heterogeneity Analysis

Get full text

Learning causal graphs via nonlinear sufficient dimension reduction

Get full text

On Consistent Bayesian Inference from Synthetic Data

Get full text

Optimization Over a Probability Simplex

Get full text

Laplace Meets Moreau: Smooth Approximation to Infimal Convolutions Using Laplace's Method

Get full text

Sampling and Estimation on Manifolds using the Langevin Diffusion

Get full text

Sharp Bounds for Sequential Federated Learning on Heterogeneous Data

Get full text

Local Linear Recovery Guarantee of Deep Neural Networks at Overparameterization

Get full text

Stabilizing Sharpness-Aware Minimization Through A Simple Renormalization Strategy

Get full text

Fine-Grained Change Point Detection for Topic Modeling with Pitman-Yor Process

Get full text

Deletion Robust Non-Monotone Submodular Maximization over Matroids

Get full text

Instability, Computational Efficiency and Statistical Accuracy

Get full text

Estimation of Local Geometric Structure on Manifolds from Noisy Data

Get full text

Ontolearn---A Framework for Large-scale OWL Class Expression Learning in Python

Get full text

Continuously evolving rewards in an open-ended environment

Get full text