SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–75 of 628 papers

TitleStatusHype
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
Do We Need to Verify Step by Step? Rethinking Process Supervision from a Theoretical Perspective—0
Residualised Treatment Intensity and the Estimation of Average Partial Effects—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
Disturbance-Adaptive Data-Driven Predictive Control: Trading Comfort Violations for Savings in Building Climate Control—0
Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials—0
Score Change of Variables—0
Generating Rectifiable Measures through Neural Networks—0
Show:102550
← PrevPage 3 of 26Next →

No leaderboard results yet.