Model Card for Model ID
Model Details
Model Description
- 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
- Downloads last month
- 0
Unable to determine this model’s pipeline type. Check the
docs
.