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