Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
yotsubian
/
qwen
like
0
PEFT
Safetensors
lean4
theorem-proving
lora
Model card
Files
Files and versions
xet
Community
Use this model
main
qwen
519 MB
1 contributor
History:
6 commits
yotsubian
Upload config_exp1.yaml with huggingface_hub
ed59074
verified
3 days ago
checkpoint-1653
Upload folder using huggingface_hub
3 days ago
checkpoint-3306
Upload folder using huggingface_hub
3 days ago
checkpoint-4959
Upload folder using huggingface_hub
3 days ago
results
Upload results/eval_finetuned.json with huggingface_hub
3 days ago
.gitattributes
Safe
1.77 kB
Upload folder using huggingface_hub
3 days ago
README.md
Safe
1.17 kB
Upload README.md with huggingface_hub
3 days ago
adapter_config.json
Safe
1.01 kB
Upload folder using huggingface_hub
3 days ago
adapter_model.safetensors
47.2 MB
xet
Upload folder using huggingface_hub
3 days ago
chat_template.jinja
Safe
2.63 kB
Upload folder using huggingface_hub
3 days ago
config_exp1.yaml
787 Bytes
Upload config_exp1.yaml with huggingface_hub
3 days ago
tokenizer.json
11.4 MB
xet
Upload folder using huggingface_hub
3 days ago
tokenizer_config.json
Safe
693 Bytes
Upload folder using huggingface_hub
3 days ago
