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)
本资源包含训练脚本与数据集，同时附带一套可复现参与软件验证竞赛（SV-COMP）2025的LLM-PROTON版本的微调流程的操作指南，相关资源链接为：https://zenodo.org/records/14209458；DOI：10.5281/zenodo.14209458
提供机构：
Zenodo创建时间：
2025-02-12
