| An automatically generated Danish Renaissance Dictionary | May 1, 2020 | LEMMA | —Unverified | 0 |
| Learning to Learn Morphological Inflection for Resource-Poor Languages | Apr 28, 2020 | Cross-Lingual TransferLEMMA | —Unverified | 0 |
| Resolving the Optimal Metric Distortion Conjecture | Apr 16, 2020 | LEMMA | —Unverified | 0 |
| Deep Generation of Coq Lemma Names Using Elaborated Terms | Apr 16, 2020 | LEMMA | CodeCode Available | 1 |
| Differentially Private Assouad, Fano, and Le Cam | Apr 14, 2020 | LEMMA | —Unverified | 0 |
| Unsupervised Discovery, Control, and Disentanglement of Semantic Attributes with Applications to Anomaly Detection | Feb 25, 2020 | Anomaly DetectionAttribute | —Unverified | 0 |
| Optimal Epoch Stochastic Gradient Descent Ascent Methods for Min-Max Optimization | Feb 13, 2020 | LEMMA | —Unverified | 0 |
| Comparison of Turkish Word Representations Trained on Different Morphological Forms | Feb 13, 2020 | Language ModelingLanguage Modelling | —Unverified | 0 |
| On the distance between two neural networks and the stability of learning | Feb 9, 2020 | LEMMA | CodeCode Available | 1 |
| No-Regret Prediction in Marginally Stable Systems | Feb 6, 2020 | LEMMAPrediction | —Unverified | 0 |
| Agent-Based Proof Design via Lemma Flow Diagram | Feb 3, 2020 | LEMMA | —Unverified | 0 |
| Novel Language Resources for Hindi: An Aesthetics Text Corpus and a Comprehensive Stop Lemma List | Feb 1, 2020 | LEMMA | CodeCode Available | 0 |
| Incompleteness for stably consistent formal systems | Jan 21, 2020 | LEMMASentence | —Unverified | 0 |
| A Technical Critique of Some Parts of the Free Energy Principle | Jan 12, 2020 | Bayesian InferenceLEMMA | —Unverified | 0 |
| Optimal Bounds between f-Divergences and Integral Probability Metrics | Jan 1, 2020 | LEMMA | —Unverified | 0 |
| Logarithmic Regret for Online Control with Adversarial Noise | Jan 1, 2020 | LEMMA | —Unverified | 0 |
| Two Birds with One Stone: Investigating Invertible Neural Networks for Inverse Problems in Morphology | Dec 11, 2019 | LEMMA | —Unverified | 0 |
| Two Efficient Ridge Solutions for the Incremental Broad Learning System on Added Inputs | Nov 12, 2019 | LEMMA | —Unverified | 0 |
| A Characterization of All Passivizing Input-Output Transformations of a Passive-Short System | Nov 9, 2019 | AllLEMMA | —Unverified | 0 |
| Generalizing to unseen domains via distribution matching | Nov 3, 2019 | Domain GeneralizationLEMMA | CodeCode Available | 0 |
| Stein's Lemma for the Reparameterization Trick with Exponential Family Mixtures | Oct 29, 2019 | LEMMA | CodeCode Available | 0 |
| Deterministic tensor completion with hypergraph expanders | Oct 23, 2019 | LEMMA | CodeCode Available | 0 |
| Towards Characterizing the High-dimensional Bias of Kernel-based Particle Inference Algorithms | Oct 16, 2019 | LEMMA | —Unverified | 0 |
| Random Quadratic Forms with Dependence: Applications to Restricted Isometry and Beyond | Oct 11, 2019 | LEMMA | —Unverified | 0 |
| Robust Hierarchical-Optimization RLS Against Sparse Outliers | Oct 11, 2019 | LEMMA | —Unverified | 0 |
