| Convergent Privacy Loss of Noisy-SGD without Convexity and Smoothness | Oct 1, 2024 | LEMMA | —Unverified | 0 |
| Convex Set Disjointness, Distributed Learning of Halfspaces, and LP Feasibility | Sep 8, 2019 | Distributed OptimizationLEMMA | —Unverified | 0 |
| Copenhagen at CoNLL--SIGMORPHON 2018: Multilingual Inflection in Context with Explicit Morphosyntactic Decoding | Sep 5, 2018 | DecoderLEMMA | —Unverified | 0 |
| CoProver: A Recommender System for Proof Construction | Mar 1, 2023 | Information RetrievalLEMMA | —Unverified | 0 |
| Correction to:"Position estimation from direction or range measurements" | Sep 24, 2020 | LEMMAPose Estimation | —Unverified | 0 |
| COSMOS: Experimental and Comparative Studies of Concept Representations in Schoolchildren | Jun 1, 2022 | DiversityLEMMA | —Unverified | 0 |
| Creating Domain Dependent Turkish WordNet and SentiNet | Jan 1, 2021 | LEMMASentiment Analysis | —Unverified | 0 |
| Approximation Schemes for Low-Rank Binary Matrix Approximation Problems | Jul 18, 2018 | ClusteringConstrained Clustering | —Unverified | 0 |
| A Note on the Convergence of Mirrored Stein Variational Gradient Descent under (L_0,L_1)-Smoothness Condition | Jun 20, 2022 | LEMMA | —Unverified | 0 |
| A Homological Theory of Functions | Jan 9, 2017 | LEMMA | —Unverified | 0 |
| Data-driven control via Petersen's lemma | Sep 24, 2021 | LEMMA | —Unverified | 0 |
| Data-driven distributed MPC of dynamically coupled linear systems | Feb 25, 2022 | LEMMAModel Predictive Control | —Unverified | 0 |
| archer at SemEval-2021 Task 1: Contextualising Lexical Complexity | Aug 1, 2021 | LEMMALexical Complexity Prediction | —Unverified | 0 |
| Data-driven Internal Model Control for Output Regulation | May 14, 2025 | LEMMAmodel | —Unverified | 0 |
| Data-Driven Modeling of Aggregate Flexibility under Uncertain and Non-Convex Load Models | Jan 28, 2022 | LEMMAScheduling | —Unverified | 0 |
| Data-Driven Model Predictive Control for Linear Time-Periodic Systems | Mar 30, 2022 | LEMMAModel Predictive Control | —Unverified | 0 |
| Data-driven Moving Horizon Estimation for Angular Velocity of Space Noncooperative Target in Eddy Current De-tumbling Mission | Jan 13, 2023 | LEMMAState Estimation | —Unverified | 0 |
| Data-Driven Optimal Control of Affine Systems: A Linear Programming Perspective | Mar 22, 2022 | Data Driven Optimal ControlLEMMA | —Unverified | 0 |
| Data-Driven Pole Placement in LMI Regions with Robustness Constraints | Nov 12, 2021 | LEMMA | —Unverified | 0 |
| Data-Driven Predictive Control for Linear Parameter-Varying Systems | Mar 30, 2021 | LEMMAScheduling | —Unverified | 0 |
| Data-driven predictive control with improved performance using segmented trajectories | Aug 24, 2021 | energy managementLEMMA | —Unverified | 0 |
| Data-driven tube-based stochastic predictive control | Dec 8, 2021 | LEMMAModel Predictive Control | —Unverified | 0 |
| Data-driven Stochastic Output-Feedback Predictive Control: Recursive Feasibility through Interpolated Initial Conditions | Dec 15, 2022 | LEMMA | —Unverified | 0 |
| Data-driven System Interconnections and a Novel Data-enabled Internal Model Control | Nov 21, 2023 | LEMMA | —Unverified | 0 |
| Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories | Jan 16, 2014 | LEMMA | —Unverified | 0 |
