SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–50 of 628 papers

TitleStatusHype
PEER: Expertizing Domain-Specific Tasks with a Multi-Agent Framework and Tuning MethodsCode7
Heterogeneous-Agent Reinforcement LearningCode2
Lean Formalization of Generalization Error Bound by Rademacher ComplexityCode1
LEMMA: Learning from Errors for MatheMatical Advancement in LLMsCode1
Adaptive tracking MPC for nonlinear systems via online linear system identificationCode1
LEMMA: Towards LVLM-Enhanced Multimodal Misinformation Detection with External Knowledge AugmentationCode1
Towards Robust Scene Text Image Super-resolution via Explicit Location EnhancementCode1
2∗n is better than n^2: Decomposing Event Coreference Resolution into Two Tractable ProblemsCode1
2 * n is better than n^2: Decomposing Event Coreference Resolution into Two Tractable ProblemsCode1
Adversarial Robustness via Random Projection FiltersCode1
Efficient Reinforcement Learning Through Trajectory GenerationCode1
Distributed data-driven predictive control for cooperatively smoothing mixed traffic flowCode1
DeeP-LCC: Data-EnablEd Predictive Leading Cruise Control in Mixed Traffic FlowCode1
Trust Region Policy Optimisation in Multi-Agent Reinforcement LearningCode1
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep LearningCode1
Learning Graphons via Structured Gromov-Wasserstein BarycentersCode1
Post-selection inference with HSIC-LassoCode1
LEMMA: A Multi-view Dataset for Learning Multi-agent Multi-task ActivitiesCode1
Learning compositional functions via multiplicative weight updatesCode1
Deep Generation of Coq Lemma Names Using Elaborated TermsCode1
On the distance between two neural networks and the stability of learningCode1
Language Modelling Makes Sense: Propagating Representations through WordNet for Full-Coverage Word Sense DisambiguationCode1
UniMorph 2.0: Universal MorphologyCode1
Alpay Algebra V: Multi-Layered Semantic Games and Transfinite Fixed-Point Simulation—0
Identifying the Smallest Adversarial Load Perturbations that Render DC-OPF InfeasibleCode0
Distributed Lyapunov Functions for Nonlinear NetworksCode0
A Regret Perspective on Online Selective Generation—0
Learning event-triggered controllers for linear parameter-varying systems from data—0
Optimization over Sparse Support-Preserving Sets: Two-Step Projection with Global Optimality GuaranteesCode0
Robust Transceiver Design for RIS Enhanced Dual-Functional Radar-Communication with Movable Antenna—0
Gumbel-max List Sampling for Distribution Coupling with Multiple Samples—0
Sample-optimal learning of quantum states using gentle measurements—0
Why is it easier to predict the epidemic curve than to reconstruct the underlying contact network?—0
Efficient Diffusion Models for Symmetric Manifolds—0
A packing lemma for VCN_k-dimension and learning high-dimensional data—0
Know When to Abstain: Optimal Selective Classification with Likelihood RatiosCode0
Vulnerability of Transfer-Learned Neural Networks to Data Reconstruction Attacks in Small-Data RegimeCode0
A Local Polyak-Lojasiewicz and Descent Lemma of Gradient Descent For Overparametrized Linear Models—0
Data-driven Internal Model Control for Output Regulation—0
Bounding Neyman-Pearson Region with f-Divergences—0
Euclidean Distance Matrix Completion via Asymmetric Projected Gradient Descent—0
Building UD Cairo for Old English in the Classroom—0
Efficient Learning on Large Graphs using a Densifying Regularity Lemma—0
Secondary Safety Control for Systems with Sector Bounded Nonlinearities [Extended Version]—0
Leveraging Non-Steady-State Frequency-Domain Data in Willems' Fundamental Lemma—0
Lemmanaid: Neuro-Symbolic Lemma Conjecturing—0
Nonlinear Multiple Response Regression and Learning of Latent Spaces—0
Local Stability and Stabilization of Quadratic-Bilinear Systems using Petersen's Lemma—0
Geometric Meta-Learning via Coupled Ricci Flow: Unifying Knowledge Representation and Quantum Entanglement—0
Flexible WMMSE Beamforming for MU-MIMO Movable Antenna CommunicationsCode0
Show:102550
← PrevPage 1 of 13Next →

No leaderboard results yet.