SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–100 of 628 papers

TitleStatusHype
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
Linear convergence of proximal descent schemes on the Wasserstein space—0
Sparsifying Suprema of Gaussian Processes—0
A Derivational ChainBank for Modern Standard ArabicCode0
Nonlinear Bayesian Filtering with Natural Gradient Gaussian Approximation—0
Exact Byte-Level Probabilities from Tokenized Language Models for FIM-Tasks and Model Ensembles—0
Improved Sample Complexity for Global Convergence of Actor-Critic Algorithms—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
Differentially Private Stochastic Gradient Descent with Fixed-Size Minibatches: Tighter RDP Guarantees with or without ReplacementCode0
Efficient Reinforcement Learning in Probabilistic Reward Machines—0
A Unified Confidence Sequence for Generalized Linear Models, with Applications to BanditsCode0
A Unifying Post-Processing Framework for Multi-Objective Learn-to-Defer ProblemsCode0
Adaptive Event-triggered Control with Sampled Transmitted Output and Controller Dynamics—0
FedsLLM: Federated Split Learning for Large Language Models over Communication Networks—0
Adaptive Backstepping and Non-singular Sliding Mode Control for Quadrotor UAVs with Unknown Time-varying Uncertainties—0
PEER: Expertizing Domain-Specific Tasks with a Multi-Agent Framework and Tuning MethodsCode7
Augmented Bayesian Policy Search—0
Graphon Particle Systems, Part II: Dynamics of Distributed Stochastic Continuum Optimization—0
Superconstant Inapproximability of Decision Tree Learning—0
To Word Senses and Beyond: Inducing Concepts with Contextualized Language Models—0
An Optimal Tightness Bound for the Simulation Lemma—0
Background results for robust minmax control of linear dynamical systems—0
Discrete-Time Conewise Linear Systems with Finitely Many Switches—0
Frequency-Domain Data-Driven Predictive Control—0
e-COP : Episodic Constrained Optimization of Policies—0
A Generalized Version of Chung's Lemma and its Applications—0
LEMMA-RCA: A Large Multi-modal Multi-domain Dataset for Root Cause Analysis—0
Theoretical Guarantees for Variational Inference with Fixed-Variance Mixture of Gaussians—0
An overview of systems-theoretic guarantees in data-driven model predictive control—0
RL in Latent MDPs is Tractable: Online Guarantees via Off-Policy Evaluation—0
Learning on Large Graphs using Intersecting CommunitiesCode0
Training-efficient density quantum machine learning—0
Laurel: Unblocking Automated Verification with Large Language Models—0
Show:102550
← PrevPage 2 of 13Next →

No leaderboard results yet.