Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
xiaolesu
/
Lean4-sft-tk-8b
like
0
Text Generation
Transformers
Safetensors
xiaolesu/lean4-sft-stmt-tk
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-tk-8b
/
debug.log
Commit History
Upload folder using huggingface_hub
5270841
verified
xiaolesu
commited on
18 days ago