Downloads · 30 days
0
lora-dolly-coq02
CSquid333/lora-dolly-coq02
lora-dolly-coq02 is a machine learning model from CSquid333. Use it for the machine learning task on the model card, and read the license before you ship it in a product.
This is an adapter for the Dolly-6B model that has been fine-tuned on Coq code from the CoqGym dataset.
Access
Public
Updated Apr 24, 2023
Repo size
7.4 MB
Likes
0
Public
Repo makeup
Click a slice to open those files.
.bin7.4 MB · 100%
At a glance
- Access
- Public
- Created
- Apr 24, 2023
- Updated
- Apr 24, 2023
- SHA
- 86bf49fd
Model card
From the Hugging Face model README
This is an adapter for the Dolly-6B model that has been fine-tuned on Coq code from the CoqGym dataset.
- Created
- Apr 24, 2023
- Updated
- Apr 24, 2023