| Unsupervised Morphological Paradigm Completion | May 3, 2020 | LEMMARetrieval | CodeCode Available | 0 |
| Differentially Private Stochastic Gradient Descent with Fixed-Size Minibatches: Tighter RDP Guarantees with or without Replacement | Aug 19, 2024 | Federated LearningLEMMA | CodeCode Available | 0 |
| Lectures on Jacques Herbrand as a Logician | Feb 26, 2009 | Automated Theorem ProvingFormal Logic | CodeCode Available | 0 |
| GX at SemEval-2021 Task 2: BERT with Lemma Information for MCL-WiC Task | Aug 1, 2021 | LEMMAMachine Translation | CodeCode Available | 0 |
| A Random Matrix Approach to Neural Networks | Feb 17, 2017 | LEMMA | CodeCode Available | 0 |
| Bayes-Optimal Fair Classification with Linear Disparity Constraints via Pre-, In-, and Post-processing | Feb 5, 2024 | AttributeClassification | CodeCode Available | 0 |
| Heterogeneous Multi-Agent Reinforcement Learning via Mirror Descent Policy Optimization | Aug 13, 2023 | LEMMAMuJoCo | CodeCode Available | 0 |
| Certifying Confidence via Randomized Smoothing | Sep 17, 2020 | LEMMAPrediction | CodeCode Available | 0 |
| Distributed Lyapunov Functions for Nonlinear Networks | Jun 25, 2025 | Dimensionality ReductionLEMMA | CodeCode Available | 0 |
| LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions | Nov 16, 2022 | LEMMAMathematical Reasoning | CodeCode Available | 0 |
