File size: 883 Bytes
31dd0ff 39492f0 31dd0ff 39492f0 31dd0ff 39492f0 31dd0ff 39492f0 31dd0ff 39492f0 31dd0ff 39492f0 31dd0ff 39492f0 31dd0ff 39492f0 31dd0ff |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 |
---
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
### Results
https://wandb.ai/jaeson/coq-coder/runs/slare690?workspace=user-jaeson
- PEFT 0.7.2.dev0 |