metadata
license: apache-2.0
datasets:
- LLM-EDA/pyra_tb
language:
- en
metrics:
- code_eval
base_model:
- meta-llama/CodeLlama-7b-Instruct-hf
Check https://github.com/CatIIIIIIII/VeriPrefer for usage.