我看到数据集分3类，smartbugs精选，cve，Code4rena，这里边前2个单独一个sol文件给llm检查，但是Code4rena里边比较大的项目请问是怎么处理的，如果一个项目里有10个sol，是把这10个分别给llm检查吗 <img width="1433" height="912" alt="Image" src="https://github.com/user-attachments/assets/46ca1ac7-62bc-4572-a250-85b595093959" />
我看到数据集分3类，smartbugs精选，cve，Code4rena，这里边前2个单独一个sol文件给llm检查，但是Code4rena里边比较大的项目请问是怎么处理的，如果一个项目里有10个sol，是把这10个分别给llm检查吗