SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 201–250 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
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
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
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
Distributed data-driven predictive control for cooperatively smoothing mixed traffic flowCode1
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
On The Universality of Diagrams for Causal Inference and The Causal Reproducing Property—0
Admissibility in Strength-based Argumentation: Complexity and Algorithms (Extended Version with Proofs)—0
Tweaking UD Annotations to Investigate the Placement of Determiners, Quantifiers and Numerals in the Noun Phrase—0
Morphology is not just a naive Bayes – UniMelb Submission to SIGMORPHON 2022 ST on Morphological Inflection—0
Dr. Livingstone, I presume? Polishing of foreign character identification in literary texts—0
Generalizing Morphological Inflection Systems to Unseen Lemmas—0
Randomized Coordinate Subgradient Method for Nonsmooth Composite Optimization—0
Observer-Based Coordinated Tracking Control for Nonlinear Multi-Agent Systems with Intermittent Communication under Heterogeneous Coupling Framework—0
A Note on the Convergence of Mirrored Stein Variational Gradient Descent under (L_0,L_1)-Smoothness Condition—0
Relative Policy-Transition Optimization for Fast Policy Transfer—0
A Resilient Distributed Boosting Algorithm—0
Show:102550
← PrevPage 5 of 13Next →

No leaderboard results yet.