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