SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–75 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
GPT as ghostwriter at the White House—0
ChatGPT as speechwriter for the French presidents—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
Show:102550
← PrevPage 3 of 26Next →

No leaderboard results yet.