SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–50 of 628 papers

TitleStatusHype
Alpay Algebra V: Multi-Layered Semantic Games and Transfinite Fixed-Point Simulation—0
Identifying the Smallest Adversarial Load Perturbations that Render DC-OPF InfeasibleCode0
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
Geometric Meta-Learning via Coupled Ricci Flow: Unifying Knowledge Representation and Quantum Entanglement—0
Lean Formalization of Generalization Error Bound by Rademacher ComplexityCode1
Flexible WMMSE Beamforming for MU-MIMO Movable Antenna CommunicationsCode0
LEMMA: Learning from Errors for MatheMatical Advancement in LLMsCode1
Inverter Control with Time-Varying and Nonconvex State and Input Constraints—0
On the Injective Norm of Sums of Random Tensors and the Moments of Gaussian Chaoses—0
TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single TrajectoryCode0
Quantitative Flow Approximation Properties of Narrow Neural ODEs—0
On the Convergence of Adam-Type Algorithm for Bilevel Optimization under Unbounded Smoothness—0
Quality Measures for Dynamic Graph Generative ModelsCode0
On the Dichotomy Between Privacy and Traceability in _p Stochastic Convex Optimization—0
Compression Barriers for Autoregressive Transformers—0
Residualised Treatment Intensity and the Estimation of Average Partial Effects—0
Do We Need to Verify Step by Step? Rethinking Process Supervision from a Theoretical Perspective—0
A Stochastic Fundamental Lemma with Reduced Disturbance Data Requirements—0
Data-Enabled Predictive Control for Flexible Spacecraft—0
Any-stepsize Gradient Descent for Separable Data under Fenchel--Young Losses—0
Kotlarski's lemma for dyadic models—0
Gaussian Process-Based Prediction and Control of Hammerstein-Wiener Systems—0
The Intrinsic State Variable in Fundamental Lemma and Its Use in Stability Design for Data-based Control—0
Informativity Conditions for Multiple Signals: Properties, Experimental Design, and ApplicationsCode0
No-Regret Linear Bandits under Gap-Adjusted Misspecification—0
GliLem: Leveraging GliNER for Contextualized Lemmatization in Estonian—0
Deep Generalized Schrödinger Bridges: From Image Generation to Solving Mean-Field Games—0
How good is GPT at writing political speeches for the White House?—0
Show:102550
← PrevPage 1 of 13Next →

No leaderboard results yet.