Training Scripts and Data set of LLM-PROTON
收藏官方服务：
资源简介：
This contains the training scripts and data set, along with a set of instructions for reproducing the finetuning process of the version of LLM-PROTON that participated in SV-COMP 2025, (https://zenodo.org/records/14209458 ; DOI: 10.5281/zenodo.14209458)
提供机构：
Zenodo创建时间：
2025-02-12
