SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–25 of 628 papers

TitleStatusHype
Identifying the Smallest Adversarial Load Perturbations that Render DC-OPF InfeasibleCode0
Alpay Algebra V: Multi-Layered Semantic Games and Transfinite Fixed-Point Simulation—0
Distributed Lyapunov Functions for Nonlinear NetworksCode0
A Regret Perspective on Online Selective Generation—0
Learning event-triggered controllers for linear parameter-varying systems from data—0
Optimization over Sparse Support-Preserving Sets: Two-Step Projection with Global Optimality GuaranteesCode0
Robust Transceiver Design for RIS Enhanced Dual-Functional Radar-Communication with Movable Antenna—0
Gumbel-max List Sampling for Distribution Coupling with Multiple Samples—0
Sample-optimal learning of quantum states using gentle measurements—0
Why is it easier to predict the epidemic curve than to reconstruct the underlying contact network?—0
Efficient Diffusion Models for Symmetric Manifolds—0
Know When to Abstain: Optimal Selective Classification with Likelihood RatiosCode0
A packing lemma for VCN_k-dimension and learning high-dimensional data—0
Vulnerability of Transfer-Learned Neural Networks to Data Reconstruction Attacks in Small-Data RegimeCode0
A Local Polyak-Lojasiewicz and Descent Lemma of Gradient Descent For Overparametrized Linear Models—0
Data-driven Internal Model Control for Output Regulation—0
Bounding Neyman-Pearson Region with f-Divergences—0
Euclidean Distance Matrix Completion via Asymmetric Projected Gradient Descent—0
Building UD Cairo for Old English in the Classroom—0
Efficient Learning on Large Graphs using a Densifying Regularity Lemma—0
Secondary Safety Control for Systems with Sector Bounded Nonlinearities [Extended Version]—0
Leveraging Non-Steady-State Frequency-Domain Data in Willems' Fundamental Lemma—0
Lemmanaid: Neuro-Symbolic Lemma Conjecturing—0
Nonlinear Multiple Response Regression and Learning of Latent Spaces—0
Local Stability and Stabilization of Quadratic-Bilinear Systems using Petersen's Lemma—0
Show:102550
← PrevPage 1 of 26Next →

No leaderboard results yet.