README.md

metadata

license: apache-2.0
datasets:
  - LLM-EDA/pyra_tb
language:
  - en
metrics:
  - code_eval
base_model:
  - mistralai/Mistral-7B-Instruct-v0.2

Check https://github.com/CatIIIIIIII/VeriPrefer for usage.