---
license: apache-2.0
datasets:
- LLM-EDA/pyra_tb
language:
- en
metrics:
- code_eval
base_model:
- Qwen/Qwen2.5-Coder-7B-Instruct
---
Check https://github.com/CatIIIIIIII/VeriPrefer for usage.