Hugging Face's logo

jbb
/
llama_coq

PEFT
Safetensors
Model card Files Community

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

image/png

Results

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

  • PEFT 0.7.2.dev0
Downloads last month
3
Inference API
Unable to determine this model’s pipeline type. Check the docs .

Model tree for jbb/llama_coq

Base model

codellama/CodeLlama-7b-hf
Adapter
(291)
this model

Dataset used to train jbb/llama_coq