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