SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 151–200 of 628 papers

TitleStatusHype
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
Towards Robust Scene Text Image Super-resolution via Explicit Location EnhancementCode1
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
2∗n is better than n^2: Decomposing Event Coreference Resolution into Two Tractable ProblemsCode1
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
PINNs error estimates for nonlinear equations in R-smooth Banach spaces—0
A unified framework for information-theoretic generalization bounds—0
Advancing Full-Text Search Lemmatization Techniques with Paradigm Retrieval from OpenCorpora—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
2 * n is better than n^2: Decomposing Event Coreference Resolution into Two Tractable ProblemsCode1
Local Optimization Achieves Global Optimality in Multi-Agent Reinforcement LearningCode0
An improved regret analysis for UCB-N and TS-N—0
Heterogeneous-Agent Reinforcement LearningCode2
L0-norm constraint normalized subband adaptive filtering algorithm: Performance development and AEC application—0
Lifting uniform learners via distributional decomposition—0
List Online Classification—0
Once upon a time step: A closed-loop approach to robust MPC design—0
Direct data-driven state-feedback control of general nonlinear systems—0
LMI-based Data-Driven Robust Model Predictive Control—0
CoProver: A Recommender System for Proof Construction—0
Generative Models of Huge Objects—0
LMI relaxations and its application to data-driven control design for switched affine systems—0
Optimal Convergence Rate for Exact Policy Mirror Descent in Discounted Markov Decision Processes—0
Improved Recursive Algorithms for V-BLAST to Save Computations and Memories—0
A Comparative Predicting Stock Prices using Heston and Geometric Brownian Motion Models—0
Show:102550
← PrevPage 4 of 13Next →

No leaderboard results yet.