|
|
--- |
|
|
library_name: peft |
|
|
base_model: codellama/CodeLlama-7b-hf |
|
|
license: mit |
|
|
datasets: |
|
|
- jbb/coq_code |
|
|
--- |
|
|
|
|
|
# Model Card for Model ID |
|
|
|
|
|
<!-- Provide a quick summary of what the model is/does. --> |
|
|
|
|
|
|
|
|
|
|
|
## Model Details |
|
|
|
|
|
### Model Description |
|
|
|
|
|
<!-- Provide a longer summary of what this model is. --> |
|
|
|
|
|
|
|
|
|
|
|
- **Developed by:** me |
|
|
- **License:** mit |
|
|
- **Finetuned from model:** codellama/CodeLlama-7b-hf |
|
|
|
|
|
|
|
|
## Uses |
|
|
|
|
|
For generating code for mathematical formalization. |
|
|
|
|
|
## Training Details |
|
|
|
|
|
### Training Data |
|
|
|
|
|
codellama/CodeLlama-7b-hf |
|
|
jbb/coq_code |
|
|
|
|
|
### Training Procedure |
|
|
|
|
|
peft |
|
|
|
|
|
|
|
|
#### Metrics |
|
|
|
|
|
https://wandb.ai/jaeson/coq-coder/reports/peft-llama-coq--Vmlldzo2MzY1NzYy |
|
|
|
|
|
%3C%2Fspan%3E%3C!-- HTML_TAG_END --> |
|
|
|
|
|
### Results |
|
|
|
|
|
https://wandb.ai/jaeson/coq-coder/runs/slare690?workspace=user-jaeson |
|
|
|
|
|
|
|
|
|
|
|
- PEFT 0.7.2.dev0 |
