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