SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 201–225 of 628 papers

TitleStatusHype
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
Adversarial Robustness via Random Projection FiltersCode1
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
Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Copora with Morphological Annotations—0
Even Order Explicit Symplectic Geometric Algorithms for Solving Quaternions in Guidance Navigation and Control via Diagonal Padé Approximation and Cayley Transform—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
Efficient Reinforcement Learning Through Trajectory GenerationCode1
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
Show:102550
← PrevPage 9 of 26Next →

No leaderboard results yet.