--- 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.