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

Subjects: “…Computer Science & IT…”
Get full text

GraphNeuralNetworks.jl: Deep Learning on Graphs with Julia

Subjects: “…Computer Science & IT…”
Get full text

Dynamic angular synchronization under smoothness constraints

Subjects: “…Computer Science & IT…”
Get full text

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

Subjects: “…Computer Science & IT…”
Get full text

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

Subjects: “…Computer Science & IT…”
Get full text

Distributed Stochastic Bilevel Optimization: Improved Complexity and Heterogeneity Analysis

Subjects: “…Computer Science & IT…”
Get full text

Learning causal graphs via nonlinear sufficient dimension reduction

Subjects: “…Computer Science & IT…”
Get full text

On Consistent Bayesian Inference from Synthetic Data

Subjects: “…Computer Science & IT…”
Get full text

Optimization Over a Probability Simplex

Subjects: “…Computer Science & IT…”
Get full text

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

Subjects: “…Computer Science & IT…”
Get full text

Sampling and Estimation on Manifolds using the Langevin Diffusion

Subjects: “…Computer Science & IT…”
Get full text

Sharp Bounds for Sequential Federated Learning on Heterogeneous Data

Subjects: “…Computer Science & IT…”
Get full text

Local Linear Recovery Guarantee of Deep Neural Networks at Overparameterization

Subjects: “…Computer Science & IT…”
Get full text

Stabilizing Sharpness-Aware Minimization Through A Simple Renormalization Strategy

Subjects: “…Computer Science & IT…”
Get full text

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

Subjects: “…Computer Science & IT…”
Get full text

Deletion Robust Non-Monotone Submodular Maximization over Matroids

Subjects: “…Computer Science & IT…”
Get full text

Estimation of Local Geometric Structure on Manifolds from Noisy Data

Subjects: “…Computer Science & IT…”
Get full text

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

Subjects: “…Computer Science & IT…”
Get full text

Continuously evolving rewards in an open-ended environment

Subjects: “…Computer Science & IT…”
Get full text

Recursive Causal Discovery

Subjects: “…Computer Science & IT…”
Get full text