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
- -
Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support
Model tree for jbb/llama_coq
Base model
codellama/CodeLlama-7b-hf