---
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 

![image/png](https://cdn-uploads.huggingface.co/production/uploads/62be3318df69b47307d1fa7e/s8AkF6qRDrIFcwfdkzMcu.png)

### Results

https://wandb.ai/jaeson/coq-coder/runs/slare690?workspace=user-jaeson 



- PEFT 0.7.2.dev0