SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 76–100 of 628 papers

TitleStatusHype
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 4 of 26Next →

No leaderboard results yet.