Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
xiaolesu
/
Lean4-sft-nt-8b
like
0
Text Generation
Transformers
Safetensors
xiaolesu/lean4-sft-stmt
xiaolesu/lean4-sft-stmt
qwen3
Generated from Trainer
conversational
text-generation-inference
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
Lean4-sft-nt-8b
16.4 GB
Ctrl+K
Ctrl+K
1 contributor
History:
10 commits
xiaolesu
Update tokenizer_config.json
1f568ee
verified
about 1 month ago
.gitattributes
Safe
1.57 kB
Upload folder using huggingface_hub
about 1 month ago
README.md
Safe
3.2 kB
Upload folder using huggingface_hub
about 1 month ago
chat_template.jinja
Safe
4.5 kB
Upload folder using huggingface_hub
about 1 month ago
config.json
Safe
1.59 kB
Upload folder using huggingface_hub
about 1 month ago
generation_config.json
Safe
187 Bytes
Upload folder using huggingface_hub
about 1 month ago
model.safetensors
Safe
16.4 GB
xet
Upload folder using huggingface_hub
about 1 month ago
tokenizer.json
Safe
11.4 MB
xet
Upload folder using huggingface_hub
about 1 month ago
tokenizer_config.json
960 Bytes
Update tokenizer_config.json
about 1 month ago
