DeepSeek/DeepSeek-Prover-V1.5
1
0
Fork 0
mirror of https://github.com/deepseek-ai/DeepSeek-Prover-V1.5 synced 2025-06-26 18:15:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
main
DeepSeek-Prover-V1.5/datasets
History
zqh 2c4ba9119e upload files
2024-08-16 11:33:21 +08:00
..
minif2f_valid_few_shot.jsonl
upload files
2024-08-16 11:33:21 +08:00
minif2f.jsonl
upload files
2024-08-16 11:33:21 +08:00
proofnet.jsonl
upload files
2024-08-16 11:33:21 +08:00