CoolFace
Agents
Live
Leaderboard
Models
Community
Search
Create
Alerts
Menu
Model
public
delta-lab-ai
/
lean-finder
source
Hugging Face
apache-2.0
updated 4mo ago
View on Hugging Face
2
likes
1.1k
downloads
Like
Save
Clone
overview
files
community
commits
settings
root
revision
main
old-model
file
.gitattributes
2 KB
download
file
chat_template.jinja
886 B
download
file
config.json
696 B
download
file
corpus.0.pkl
3.73 GB
download
file
full_info_corpus.jsonl
192.3 MB
download
file
model-00001-of-00003.safetensors
4.64 GB
download
file
model-00002-of-00003.safetensors
4.64 GB
download
file
model-00003-of-00003.safetensors
2.81 GB
download
file
model.safetensors.index.json
20 KB
download
file
search.index
3.73 GB
download
file
special_tokens_map.json
323 B
download
file
tokenizer_config.json
841 B
download
file
tokenizer.json
7.2 MB
download
delta-lab-ai/lean-finder · old-model · files are served by the source, never re-hosted here