| e-COP : Episodic Constrained Optimization of Policies | Jun 13, 2024 | LEMMAreinforcement-learning | —Unverified | 0 |
| Efficient Diffusion Models for Symmetric Manifolds | May 27, 2025 | LEMMA | —Unverified | 0 |
| Efficient Learning on Large Graphs using a Densifying Regularity Lemma | Apr 25, 2025 | Graph Neural NetworkKnowledge Graph Completion | —Unverified | 0 |
| Efficient Reinforcement Learning in Probabilistic Reward Machines | Aug 19, 2024 | LEMMAreinforcement-learning | —Unverified | 0 |
| Compression Barriers for Autoregressive Transformers | Feb 21, 2025 | LEMMA | —Unverified | 0 |
| Two Efficient Ridge Solutions for the Incremental Broad Learning System on Added Inputs | Nov 12, 2019 | LEMMA | —Unverified | 0 |
| Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code | Mar 19, 2024 | Automated Theorem ProvingCode Generation | —Unverified | 0 |
| Binary embeddings with structured hashed projections | Nov 16, 2015 | LEMMA | —Unverified | 0 |
| Entity Linking meets Word Sense Disambiguation: a Unified Approach | Jan 1, 2014 | Entity LinkingLEMMA | —Unverified | 0 |
| A note on concentration inequality for vector-valued martingales with weak exponential-type tails | Sep 6, 2018 | Dimensionality ReductionLEMMA | —Unverified | 0 |
