datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
aime_1983_2023_deepseek-r1_traces_16384AIME_Deepseek_Cleannumina_amc_aime_deepseek_r1_responseslogiqa-deepseek-v3DeepSeek-Prover-V1
Evaluation Results |
Model & Dataset Downloads |
License |
Contact
Paper Link👁️
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
1. Introduction
Proof assistants like Lean have revolutionized mathematical proof verification, ensuring high accuracy and reliability. Although large language models (LLMs) show promise in… See the full description on the dataset page: https://huggingface.co/datasets/deepseek-ai/DeepSeek-Prover-V1.aime_1983_2023_deepseek-r1_traces_32768DeepSeek-ProverBench
1. Introduction
We introduce DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4, with initialization data collected through a recursive theorem proving pipeline powered by DeepSeek-V3. The cold-start training procedure begins by prompting DeepSeek-V3 to decompose complex problems into a series of subgoals. The proofs of resolved subgoals… See the full description on the dataset page: https://huggingface.co/datasets/deepseek-ai/DeepSeek-ProverBench.aime_1983_2023_deepseek-r1-distill-qwen-14b_traces_32768aime_1983_2023_deepseek-r1-distill-qwen-7b_traces_32768aime_1983_2023_deepseek-r1-distill-qwen-1.5b_traces_32768DeepSeek-1.5B_mmlu-pro_16384_train0test8details_deepseek-ai__DeepSeek-R1-Distill-Qwen-14B_v2
Dataset Card for Evaluation run of deepseek-ai/DeepSeek-R1-Distill-Qwen-14B
Dataset automatically created during the evaluation run of model deepseek-ai/DeepSeek-R1-Distill-Qwen-14B.
The dataset is composed of 116 configuration, each one coresponding to one of the evaluated task.
The dataset has been created from 1 run(s). Each run can be found as a specific split in each configuration, the split being named using the timestamp of the run.The "train" split is always pointing to… See the full description on the dataset page: https://huggingface.co/datasets/OALL/details_deepseek-ai__DeepSeek-R1-Distill-Qwen-14B_v2.aime_1983_2023_deepseek-r1-distill-qwen-7b_traces_16384details_deepseek-ai__DeepSeek-R1-Distill-Qwen-32B_v2
Dataset Card for Evaluation run of deepseek-ai/DeepSeek-R1-Distill-Qwen-32B
Dataset automatically created during the evaluation run of model deepseek-ai/DeepSeek-R1-Distill-Qwen-32B.
The dataset is composed of 116 configuration, each one coresponding to one of the evaluated task.
The dataset has been created from 1 run(s). Each run can be found as a specific split in each configuration, the split being named using the timestamp of the run.The "train" split is always pointing to… See the full description on the dataset page: https://huggingface.co/datasets/OALL/details_deepseek-ai__DeepSeek-R1-Distill-Qwen-32B_v2.DeepSeek-R1-Distill-Qwen-32B_NUMINA_train_amc_aime-llama3.1numina_amc_aime_in_depth_deepseek_r1_questionsdetails_deepseek-ai__DeepSeek-R1-Distill-Llama-70B
Dataset Card for Evaluation run of deepseek-ai/DeepSeek-R1-Distill-Llama-70B
Dataset automatically created during the evaluation run of model deepseek-ai/DeepSeek-R1-Distill-Llama-70B.
The dataset is composed of 136 configuration, each one coresponding to one of the evaluated task.
The dataset has been created from 1 run(s). Each run can be found as a specific split in each configuration, the split being named using the timestamp of the run.The "train" split is always pointing to… See the full description on the dataset page: https://huggingface.co/datasets/OALL/details_deepseek-ai__DeepSeek-R1-Distill-Llama-70B.DeepSeek-1.5B_math_32768_train8test64details_huihui-ai__DeepSeek-R1-Distill-Qwen-32B-abliterated
Dataset Card for Evaluation run of huihui-ai/DeepSeek-R1-Distill-Qwen-32B-abliterated
Dataset automatically created during the evaluation run of model huihui-ai/DeepSeek-R1-Distill-Qwen-32B-abliterated.
The dataset is composed of 136 configuration, each one coresponding to one of the evaluated task.
The dataset has been created from 1 run(s). Each run can be found as a specific split in each configuration, the split being named using the timestamp of the run.The "train" split is… See the full description on the dataset page: https://huggingface.co/datasets/OALL/details_huihui-ai__DeepSeek-R1-Distill-Qwen-32B-abliterated.aime_1983_2023_deepseek-r1-distill-qwen-14b_traces_16384AIME_2024_DeepSeek_R1_0528_Temp_1.0_L_16384Responses of deepseek-ai/DeepSeek-R1-0528 for AIME 2024 (original dataset: Maxwell-Jia/AIME_2024).
Generation temperature is set to 1.0 and maximum token is set to 16384.
DeepSeek-1.5B_dapo2k_16384_train32test0Chinese-DeepSeek-R1-Distill-data-110k-decontaminated
Decontaminated — Congliu/Chinese-DeepSeek-R1-Distill-data-110k
What this is
A filtered version of Congliu/Chinese-DeepSeek-R1-Distill-data-110k (revision
8520b649430617c2be4490f424d251d09d835ed3) with exact-duplicate rows and rows overlapping standard benchmark test sets
removed. This is a different artifact from the companion contamination report — that one is an
audit of what's wrong; this one is the corpus with those rows actually taken out, ready to train on.… See the full description on the dataset page: https://huggingface.co/datasets/liodon-ai/Chinese-DeepSeek-R1-Distill-data-110k-decontaminated.DeepSeek-1.5B_dapo14k_train1test0_part3deepseek-ai__deepseek-llm-7b-chat-details
Dataset Card for Evaluation run of deepseek-ai/deepseek-llm-7b-chat
Dataset automatically created during the evaluation run of model deepseek-ai/deepseek-llm-7b-chat
The dataset is composed of 44 configuration(s), each one corresponding to one of the evaluated task.
The dataset has been created from 1 run(s). Each run can be found as a specific split in each configuration, the split being named using the timestamp of the run.The "train" split is always pointing to the latest… See the full description on the dataset page: https://huggingface.co/datasets/open-llm-leaderboard/deepseek-ai__deepseek-llm-7b-chat-details.DeepSeek-1.5B_dapo1k_16384_train32test0deepseek-ai__DeepSeek-R1-Distill-Qwen-1.5B-details
Dataset Card for Evaluation run of deepseek-ai/DeepSeek-R1-Distill-Qwen-1.5B
Dataset automatically created during the evaluation run of model deepseek-ai/DeepSeek-R1-Distill-Qwen-1.5B
The dataset is composed of 38 configuration(s), each one corresponding to one of the evaluated task.
The dataset has been created from 1 run(s). Each run can be found as a specific split in each configuration, the split being named using the timestamp of the run.The "train" split is always pointing… See the full description on the dataset page: https://huggingface.co/datasets/open-llm-leaderboard/deepseek-ai__DeepSeek-R1-Distill-Qwen-1.5B-details.aime2024-deepseek-r1
Dataset Card for "aime2024-deepseek-r1"
More Information needed
DeepSeek-1.5B_dapo14k_train0test64tau2-airline-deepseek-distill
τ²-bench airline · DeepSeek teacher trajectories
Successful multi-turn agent trajectories on τ²-bench's
airline domain, generated by running DeepSeek V4 Flash as the agent through the real τ²-bench
harness — same system prompt, same 14 tool schemas, same dialogue loop, same evaluator.
Used to behavior-clone the RL warm start
yuyu0529nya/qwen2.5-7b-tau2-airline-sft-lora,
which is the step 0 of the tau2_airline verl recipe.
Why these exist
GRPO on τ²-bench-airline… See the full description on the dataset page: https://huggingface.co/datasets/yuyu0529nya/tau2-airline-deepseek-distill.