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.
Lethean
lthn
AI & ML interests
Digital Confidentiality & Infrastructure R&D.
Recent Activity
updated a collection 17 days ago
Lemma updated a collection 17 days ago
Lemma updated a model 18 days ago
lthn/lemer-hf-bf16Organizations
