A lemma is "something assumed" — an intermediate theorem on the path to a larger proof, or a heading that signals the subject of what follows.
🔄 In a Training Loop
Lethean
lthn
AI & ML interests
Digital Confidentiality & Infrastructure R&D.
Recent Activity
updated a model 21 days ago
lthn/LEM-Gemma3-1B updated a dataset about 2 months ago
lthn/LEK-2 published a dataset about 2 months ago
lthn/LEK-2