xiaolesu
/

Lean4-sft-tk-8b

Text Generation

Generated from Trainer

text-generation-inference

Model card Files Files and versions

Lean4-sft-tk-8b / tokenizer.json

Commit History

Upload folder using huggingface_hub

5270841
verified

xiaolesu commited on 20 days ago