xiaolesu
/

Lean4-sft-tk-8b

Text Generation

Generated from Trainer

text-generation-inference

Model card Files Files and versions

Lean4-sft-tk-8b / debug.log

Commit History

Upload folder using huggingface_hub

5270841
verified

xiaolesu commited on 18 days ago