SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–100 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
Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics—0
A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems—0
ChatGPT as speechwriter for the French presidents—0
GPT as ghostwriter at the White House—0
Sparsifying Suprema of Gaussian Processes—0
Linear convergence of proximal descent schemes on the Wasserstein space—0
A Derivational ChainBank for Modern Standard ArabicCode0
Nonlinear Bayesian Filtering with Natural Gradient Gaussian Approximation—0
Improved Sample Complexity for Global Convergence of Actor-Critic Algorithms—0
Exact Byte-Level Probabilities from Tokenized Language Models for FIM-Tasks and Model Ensembles—0
Revisiting Multi-Permutation Equivariance through the Lens of Irreducible RepresentationsCode0
Assouad, Fano, and Le Cam with Interaction: A Unifying Lower Bound Framework and Characterization for Bandit Learnability—0
Convergent Privacy Loss of Noisy-SGD without Convexity and Smoothness—0
An Accelerated Algorithm for Stochastic Bilevel Optimization under Unbounded SmoothnessCode0
On the Implicit Relation Between Low-Rank Adaptation and Differential Privacy—0
On the Complexity of Neural Computation in Superposition—0
Characterizing nonlinear systems with mixed input-output properties through dissipation inequalities—0
Data-enabled Predictive Repetitive Control—0
Adaptive Backtracking Line Search—0
Learning Deep Dissipative DynamicsCode0
On the Approximability of Stationary Processes using the ARMA Model—0
Efficient Reinforcement Learning in Probabilistic Reward Machines—0
Differentially Private Stochastic Gradient Descent with Fixed-Size Minibatches: Tighter RDP Guarantees with or without ReplacementCode0
A Unified Confidence Sequence for Generalized Linear Models, with Applications to BanditsCode0
A Unifying Post-Processing Framework for Multi-Objective Learn-to-Defer ProblemsCode0
Show:102550
← PrevPage 2 of 13Next →

No leaderboard results yet.