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