# delta-lab-ai/lean-finder

Model from Hugging Face for feature extraction: delta-lab-ai/lean-finder · transformers

## Facts

- Type: Embedding
- Task: feature-extraction
- Framework: transformers
- License: apache-2.0 — Permissive open license: commercial use, modification, and redistribution are permitted. (https://spdx.org/licenses/Apache-2.0.html)
- Source: https://huggingface.co/delta-lab-ai/lean-finder
- Hosting: unknown (no download location recorded)
- Files: 22 listed, none hosted here
- File counts: "listed" is every file in the source repository; only hosted files download from Hugging Bay, and the download plan lists the files it selects for one download, so its count can differ.
- Hosted here: availability unknown
- Full repo upstream: 27.4 GB
- Recommended file: 16.4 GB (4 files)
- Download: none recorded
- Per-file SHA-256: not available (no files hosted on Hugging Bay)
- Run-ready: no (Hugging Bay has not certified a run path for this model; hosted bytes are downloadable and hash-checkable only)
- Peer-assisted fallbacks: 0 verified, 0 pending review
- Downloads: 96
- Stars: 2
- Card completeness: 89%

## Description

External Hugging Face catalog record for delta-lab-ai/lean-finder. Task: feature extraction. Library: transformers. Popularity signal at import: 1,027 downloads and 2 likes.

## Model Card Facts

- Declared license: apache-2.0
- Pipeline: feature-extraction
- Library: transformers
- Task categories: feature-extraction
- Paper ids: 2510.15940
- File hints: 16 upstream file samples

## Referenced Data

- Paper: 2510.15940

## File Hints

- .gitattributes (1.9 KB)
- README.md (3.3 KB)
- added_tokens.json (605 B)
- chat_template.jinja (2.4 KB)
- config.json (1.5 KB)
- generation_config.json (139 B)
- mathlib4_19_0.index (3.0 GB) LFS
- mathlib4_19_0.jsonl (161 MB) LFS
- mathlib4_24_0.index (3.2 GB) LFS
- mathlib4_24_0.jsonl (203 MB) LFS
- mathlib4_28_0.index (3.4 GB) LFS
- mathlib4_28_0.jsonl (221 MB) LFS

## Quality Checklist

- Summary: passed
- Description: passed
- Model card metadata: passed
- License: passed
- Provenance: passed
- File inventory: passed
- Hosted bytes: passed
- Scan result: passed
- Manifest signature: pending

## Safety Notes

- External catalog metadata imported from Hugging Face public API on 2026-09-22T18:29:25.559Z.
- Open license detected as apache-2.0.
- Not locally hosted, mirrored, signed, or rescanned by Hugging Bay.
- Not a run kit: hosted, hash-checked bytes only; run readiness is not certified for this model yet.

## Actions

- Web: https://huggingbay.xyz/artifact/hf-model-delta-lab-ai-lean-finder
- Files API: https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/files?limit=100
- Metadata: https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/metadata.json
- Distribution: https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/distribution
- Manifest: not available until files are hosted and release checks pass.
- Request mirror: POST https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/mirror-request
- Submit peer fallback for review: POST https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/decentralized-fallbacks