SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 201–250 of 628 papers

TitleStatusHype
Local Optimization Achieves Global Optimality in Multi-Agent Reinforcement LearningCode0
An improved regret analysis for UCB-N and TS-N—0
L0-norm constraint normalized subband adaptive filtering algorithm: Performance development and AEC application—0
List Online Classification—0
Lifting uniform learners via distributional decomposition—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
Task Space Control of Robot Manipulators based on Visual SLAM—0
U-Clip: On-Average Unbiased Stochastic Gradient Clipping—0
On the Role of Morphological Information for Contextual Lemmatization—0
An Efficient Solution to s-Rectangular Robust Markov Decision Processes—0
Benchmarking optimality of time series classification methods in distinguishing diffusionsCode0
Online Convex Optimization with Stochastic Constraints: Zero Constraint Violation and Bandit Feedback—0
From Pseudorandomness to Multi-Group Fairness and Back—0
Data-driven Moving Horizon Estimation for Angular Velocity of Space Noncooperative Target in Eddy Current De-tumbling Mission—0
Sublinear Time Algorithms for Several Geometric Optimization (With Outliers) Problems In Machine Learning—0
Near-Optimal Non-Parametric Sequential Tests and Confidence Sequences with Possibly Dependent ObservationsCode0
Contraction and k-contraction in Lurie systems with applications to networked systems—0
Towards data-driven stochastic predictive control—0
A Layered Architecture for Universal Causality—0
Data-driven Stochastic Output-Feedback Predictive Control: Recursive Feasibility through Interpolated Initial Conditions—0
Even Order Explicit Symplectic Geometric Algorithms for Solving Quaternions in Guidance Navigation and Control via Diagonal Padé Approximation and Cayley Transform—0
Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Copora with Morphological Annotations—0
Linear Data-Driven Economic MPC with Generalized Terminal Constraint—0
Learning Markov Random Fields for Combinatorial Structures via Sampling through Lovász Local LemmaCode0
On Data-Driven Stochastic Output-Feedback Predictive Control—0
Robust Learning of Nonlinear Dynamical Systems with Safety and Stability Properties—0
DBA: Efficient Transformer with Dynamic Bilinear Low-Rank Attention—0
LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic AbstractionsCode0
A sufficient condition for k-contraction in Lurie systems—0
Lower Bounds for the Convergence of Tensor Power Iteration on Random Overcomplete Models—0
Development of a rule-based lemmatization algorithm through Finite State Machine for Uzbek language—0
A Non-Asymptotic Moreau Envelope Theory for High-Dimensional Generalized Linear ModelsCode0
Unlabelled Sample Compression Schemes for Intersection-Closed Classes and Extremal Classes—0
Improved Stein Variational Gradient Descent with Importance Weights—0
FeatureBART: Feature Based Sequence-to-Sequence Pre-Training for Low-Resource NMT—0
Clarifying Theoretical Intricacies through the Use of Conceptual Visualization: Case of Production Theory in Advanced Microeconomics—0
Lemma Hunting: Automatic Spelling Normalization for German CMC Corpora—0
Johnson-Lindenstrauss embeddings for noisy vectors -- taking advantage of the noise—0
On Gale's Contribution in Revealed Preference Theory—0
Private Query Release via the Johnson-Lindenstrauss Transform—0
Context based lemmatizer for Polish language—0
Distributed Control of Multi-agent Systems with Unknown Time-varying Gains: A Novel Indirect Framework for Prescribed Performance—0
Show:102550
← PrevPage 5 of 13Next →

No leaderboard results yet.