Downloads · 30 days
13
15% of all-time downloads
llama_coq
jbb/llama_coq
llama_coq is a machine learning model from jbb. Use it for the machine learning task on the model card, and read the license before you ship it in a product. It is set up for peft. The card lists the license as mit.
- Developed by: me - License: mit - Finetuned from model: codellama/CodeLlama-7b-hf
All-time downloads
89
Public
Repo size
48 B
Likes
0
Public
Repo makeup
Click a slice to open those files.
Other1.5 KB · 49%
At a glance
- Library
- peft
- License
- mit
- Access
- Public
- Created
- Dec 27, 2023
- Updated
- Dec 28, 2023
- SHA
- d4b35f09
Base models
Datasets
Model card
From the Hugging Face model README
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
- Library
- peft
- License
- mit
- Created
- Dec 27, 2023
- Updated
- Dec 28, 2023