SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 151–200 of 628 papers

TitleStatusHype
Robust Data-EnablEd Predictive Leading Cruise Control via Reachability Analysis—0
Bayes-Optimal Fair Classification with Linear Disparity Constraints via Pre-, In-, and Post-processingCode0
Q-Star Meets Scalable Posterior Sampling: Bridging Theory and Practice via HyperAgentCode0
Sampling-based Stochastic Data-driven Predictive Control under Data Uncertainty—0
An impossibility theorem concerning positive involvement in votingCode0
Reply to 'Comments on Graphon Signal Processing' [arXiv:2310.14683]—0
Linear-Quadratic Problems in Systems and Controls via Covariance Representations and Linear-Conic Duality: Finite-Horizon Case—0
Lyapunov-Krasovskii Functionals of Robust Type for the Stability Analysis in Time-Delay Systems—0
Greedy Grammar Induction with Indirect Negative Evidence—0
Leveraging the Urysohn Lemma of Topology for an Enhanced Binary ClassifierCode0
Stochastic Data-Driven Predictive Control: Regularization, Estimation, and Constraint Tightening—0
Transformers are uninterpretable with myopic methods: a case study with bounded Dyck grammars—0
A Frequency-Domain Version of Willems' Fundamental Lemma—0
Data-driven System Interconnections and a Novel Data-enabled Internal Model Control—0
A Linear Parameter-Varying Approach to Data Predictive Control—0
The Exact Determinant of a Specific Class of Sparse Positive Definite Matrices—0
ChiSCor: A Corpus of Freely Told Fantasy Stories by Dutch Children for Computational Linguistics and Cognitive Science—0
Closing the Gap Between the Upper Bound and the Lower Bound of Adam's Iteration Complexity—0
Error analysis of generative adversarial network—0
A sampling construction of graphon 1-norm convergence—0
Joint Group Invariant Functions on Data-Parameter Domain Induce Universal Neural Networks—0
Deep Ridgelet Transform: Voice with Koopman Operator Proves Universality of Formal Deep Networks—0
A Fisher-Rao gradient flow for entropy-regularised Markov decision processes in Polish spaces—0
Multi-Resolution Active Learning of Fourier Neural OperatorsCode0
Follow-ups Also Matter: Improving Contextual Bandits via Post-serving Contexts—0
Analysis of Diagnostics (Part I): Prevalence, Uncertainty Quantification, and Machine Learning—0
Optimal Projections for Discriminative Dictionary Learning using the JL-lemmaCode0
Large-scale gradient-based training of Mixtures of Factor Analyzers—0
On Exact Bayesian Credible Sets for Classification and Pattern Recognition—0
Heterogeneous Multi-Agent Reinforcement Learning via Mirror Descent Policy OptimizationCode0
Information-Theoretic Characterization of Vowel Harmony: A Cross-Linguistic Study on Word Lists—0
LEMMA: Learning Language-Conditioned Multi-Robot Manipulation—0
Actions Speak What You Want: Provably Sample-Efficient Reinforcement Learning of the Quantal Stackelberg Equilibrium from Strategic Feedbacks—0
Adaptive Data-Driven Prediction in a Building Control Hierarchy: A Case Study of Demand Response in SwitzerlandCode0
Smooth Lower Bounds for Differentially Private Algorithms via Padding-and-Permuting Fingerprinting Codes—0
An Algorithm with Optimal Dimension-Dependence for Zero-Order Nonsmooth Nonconvex Stochastic Optimization—0
Provably Efficient Iterated CVaR Reinforcement Learning with Function Approximation and Human Feedback—0
Nonlinear Data-Driven Control Part II: qLPV Predictive Control using Parameter Extrapolation—0
Delegated ClassificationCode0
Symmetry & Critical Points for Symmetric Tensor Decomposition Problems—0
Balancing the Benefits of Vaccination: an Envy-Free Strategy—0
Distributionally robust uncertainty quantification via data-driven stochastic optimal control—0
Frequency-dependent Switching Control for Disturbance Attenuation of Linear Systems—0
Tuning-Free Maximum Likelihood Training of Latent Variable Models via Coin Betting—0
A Framework for Bidirectional Decoding: Case Study in Morphological InflectionCode0
A unified framework for information-theoretic generalization bounds—0
Advancing Full-Text Search Lemmatization Techniques with Paradigm Retrieval from OpenCorpora—0
PINNs error estimates for nonlinear equations in R-smooth Banach spaces—0
Data Augmentation for Conflict and Duplicate Detection in Software Engineering Sentence Pairs—0
Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions—0
Show:102550
← PrevPage 4 of 13Next →

No leaderboard results yet.