---
license: apache-2.0
datasets:
- LLM-EDA/pyra_tb
language:
- en
metrics:
- code_eval
base_model:
- deepseek-ai/deepseek-coder-7b-instruct-v1.5
---
Check https://github.com/CatIIIIIIII/VeriPrefer for usage.