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 dataset 4 days ago
lthn/LEK-2 published a dataset 5 days ago
lthn/LEK-2 liked a model 5 days ago
mradermacher/LEM-Gemma3-1B-i1-GGUFOrganizations
models 20
lthn/lemer-hf-bf16
Text Generation • 5B • Updated • 5
lthn/lemer
Image-Text-to-Text • 5B • Updated • 512 • 2
lthn/lemer-lite
Text Generation • 0.7B • Updated • 4
lthn/lemrd-mlx-8bit
Image-Text-to-Text • 9B • Updated • 10
lthn/lemrd-mlx-bf16
Image-Text-to-Text • 31B • Updated
lthn/lemrd-mlx
Image-Text-to-Text • 8B • Updated • 9
lthn/lemrd
Image-Text-to-Text • 31B • Updated • 45
lthn/lemmy-mlx-8bit
Image-Text-to-Text • 25B • Updated • 1
lthn/lemmy-mlx-bf16
Image-Text-to-Text • 25B • Updated • 4
lthn/lemmy-mlx
Image-Text-to-Text • 25B • Updated • 10
datasets 16
lthn/LEK-2
Viewer • Updated • 13 • 41
lthn/LEM-benchmarks
Viewer • Updated • 69.4k • 542 • 2
lthn/LEM-Ethics
Viewer • Updated • 249k • 30
lthn/LEM-Trainer
Viewer • Updated • 60 • 31
lthn/LEM-ToxiGen
Viewer • Updated • 764 • 28
lthn/LEM-Eval
Updated • 51
lthn/livebench-model_judgment
Viewer • Updated • 60.4k • 182
lthn/livebench-language
Viewer • Updated • 190 • 177
lthn/livebench-math
Viewer • Updated • 368 • 208
lthn/livebench-instruction_following
Viewer • Updated • 400 • 122