delta-lab-ai/lean-finder file inventory
Browse hosted and upstream file records for delta-lab-ai/lean-finder. Check its Run page for complete-kit status.
- Hosting
- hosted
- Hosted files
- 12
- Tool
- any
Run status: unknown. These file records do not make a complete run kit.
- .gitattributes
- README.md
- added_tokens.json - sha256
58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b- download this file - chat_template.jinja - sha256
44d5f08f3f72b837eaad09f13a54c1f9f4eb58d75240334548b7fd52a5437fa5- download this file - config.json - sha256
f3ecdcaec68ea40b9f1b8b784ede066bf7d7cf645e241c62b1f422b54f771ea7- download this file - generation_config.json - sha256
074dd104fc37e3582f63ee1c907d8cd5da2523a4d6b9eba31c3a0924eea23f81- download this file - mathlib4_19_0.index - sha256
3ed8cfe0d6c4591a1d8eee949291f30ae6239d334ce0a02388760535c591ef29 - mathlib4_19_0.jsonl - sha256
29269aed12c4db12410f5b562b2e21dce8df4991b850f3829c3ab64996797447 - mathlib4_24_0.index - sha256
f270340b93780bff88c4442d787d719ce9c8f0f62b64f546e7d47f74b45f38b1 - mathlib4_24_0.jsonl - sha256
5d5b3fb74e6fcb54c54b4a024e808cb7bf86b14d186520ca06e8cac86edf9a5b - mathlib4_28_0.index - sha256
ff0b88aa2bc14506374dbb59096b6669a8b3abd439d0b800494cc987ea4f05db - mathlib4_28_0.jsonl - sha256
c1f7d8dc0674368e364d793b63787dda346ff65acb5cdbae6bcbc55cd6da8bea - merges.txt
- model-00001-of-00004.safetensors - sha256
8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161- download this file - model-00002-of-00004.safetensors - sha256
10fbf1fc5736dfd54501c6a131c454ed1038443ae27271ec2a137b6367a37b33- download this file - model-00003-of-00004.safetensors - sha256
793336b91226602387d69dad92410671c2b50c1a3d177aa6af6a6eb7da60e28a- download this file - model-00004-of-00004.safetensors - sha256
47c6da2c6f2a816e920494f91711e8557e38dee22b06ff93cffe7d1331702126- download this file - model.safetensors.index.json - sha256
13eb6af6d05629d949f3aa53908294d24d5d434f9dcf346aef9f3f9695821707- download this file - special_tokens_map.json - sha256
76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd- download this file - tokenizer.json - sha256
83cdf8c3a34f68862319cb1810ee7b1e2c0a44e0864ae930194ddb76bb7feb8d- download this file - tokenizer_config.json - sha256
0a04a9d7d4a62b28482bdfe726c122756de85714fb64166ace92ae75b8f57614- download this file - vocab.json