e772371 520aba1
1
2
3
4
5
6
7
8
9
10
11
12
--- license: apache-2.0 datasets: - LLM-EDA/pyra_tb language: - en metrics: - code_eval base_model: - Qwen/CodeQwen1.5-7B-Chat --- Check https://github.com/CatIIIIIIII/VeriPrefer for usage.