Related papers: Proof-Carrying No-Arbitrage Surfaces: Constructive…
We augment the Slotine--Li adaptive controller for Euler--Lagrange systems with three learned components: a structured-quadratic Lyapunov function \(V_\psi\) whose positive-definiteness follows from a Cholesky parameterization, a residual…
Randomized smoothing has become a leading approach for certifying adversarial robustness in machine learning models. However, a persistent gap remains between theoretical certified robustness and empirical robustness accuracy. This paper…
We present a new fabrication method for epitaxial graphene on SiC which enables the growth of ultra-smooth defect- and bilayer-free graphene sheets with an unprecedented reproducibility, a necessary prerequisite for wafer-scale fabrication…
For a nonlinear system of coupled PDEs, that describes evolution of a viscous thin liquid sheet and takes account of surface tension at the free surface, we show exponential $(H^1,\,L^2)$ asymptotic decay to the flat profile of its…
We consider fully discrete numerical approximations for axisymmetric Willmore flow that are unconditionally stable and work reliably without remeshing. We restrict our attention to surfaces without boundary, but allow for spontaneous…
Formal verification of masking in post-quantum cryptographic (PQC) hardware relies on SMT solvers over finite domains. Our prior work established structural dependency analysis at scale [1] and quantified the security margin of partial NTT…
The ultrawide-bandgap semiconductor $\beta$-Ga2O3 holds exceptional promise for next-generation power electronics and deep-ultraviolet optoelectronics, yet its widespread application is hindered by the lack of cost-effective, high-quality…
We establish global well-posedness and convergence of the score-based generative models (SGM) under minimal general assumptions of initial data for score estimation. For the smooth case, we start from a Lipschitz bound of the score function…
We study the polydisperse Baxter model of sticky hard spheres (SHS) in the modified Mean Spherical Approximation (mMSA). This closure is known to be the zero-order approximation (C0) of the Percus-Yevick (PY) closure in a density expansion.…
This paper establishes the equivalence between robust safety and the existence of a barrier function certificate for differential inclusions. More precisely, for a robustly-safe differential inclusion, a barrier function is constructed as…
We propose a variable metric framework for minimizing the sum of a self-concordant function and a possibly non-smooth convex function, endowed with an easily computable proximal operator. We theoretically establish the convergence of our…
Safety-critical control of piecewise affine (PWA) systems under bounded additive disturbances requires guarantees not for individual states but for entire state sets simultaneously: a single control action must steer every state in the set…
Post-quantum cryptographic (PQC) accelerators for ML-KEM (FIPS 203) and ML-DSA (FIPS 204) rely on pipelined Number Theoretic Transform (NTT) stages over $\mathbb{Z}_q$. Our prior work established structural dependency analysis at scale [1]…
In this paper, we present a method for constructing a (static) portfolio of co-maturing European options whose price sign is determined by the skewness level of the associated implied volatility. This property holds regardless of the…
In this work, we study verification and synthesis problems for safety specifications over unknown discrete-time stochastic systems. When a model of the system is available, barrier certificates have been successfully applied for ensuring…
A new class of implicit-explicit (IMEX) methods combined with a p-adaptive mixed finite element formulation is proposed to simulate the diffusion of reacting species. Hierarchical polynomial functions are used to construct an…
Certifying the robustness of a graph-based machine learning model poses a critical challenge for safety. Current robustness certificates for graph classifiers guarantee output invariance with respect to the total number of node pair flips…
Machine Learning Interatomic Potentials (MLIPs) sometimes fail to reproduce the physical smoothness of the quantum potential energy surface (PES), leading to erroneous behavior in downstream simulations that standard energy and force…
We examine a multi-stage stochastic optimization problem characterized by stagewise-independent, decision-dependent noises with strict constraints. The problem assumes convexity in that, following a specific relaxation, it transforms into a…
Majority-vote ensembles achieve variance reduction by averaging over diverse, approximately independent base learners. When training data exhibits Markov dependence, as in time-series forecasting, reinforcement learning (RL) replay buffers,…