annakosovskaia/reasoning-data

Reasoning Traces Collection

Reasoning traces generated by LLMs on math datasets (Deepmath-103k, AIME), collected for SFT training.

Configs

Config	Model	Dataset	Problems	Pass@1	Pass@2
qwen_step-deepmath	Qwen3.5-397B-A17B	DeepMath-103K (0-14K)	13,982	82.9%	86.0%
qwen_logic-deepmath	Qwen3.5-397B-A17B	DeepMath-103K (0-14K)	13,989	82.5%	85.4%
qwen-aime	Qwen3.5-397B-A17B	AIME 1983–2024	933	97.0%	98.8% (Pass@2) / 99.6% (Pass@8)
minimax-deepmath	MiniMax-M2.5	DeepMath-103K (0-14K)	13,990	80.1%	86.0%
glm-deepmath	GLM-5-FP8	DeepMath-103K (0-14K, 200 skipped)	13,800	79.9%	83.9% (Pass@8)
kimi-deepmath	Kimi-K2.5	DeepMath-103K (0-14K)	14,000	74.3%	79.0% (Pass@8)

Fields

• problem_index — index in the source dataset
• is_correct — whether any attempt solved the problem correctly
• expected_answer — ground truth answer
• total_attempts — number of attempts made (max 2 for DeepMath, max 8 for AIME)
• attempts — all attempts with full details (reasoning, solution, answer, is_correct)
• correct_reasoning — reasoning from the first correct attempt (null if unsolved)
• correct_answer — solution from the first correct attempt (null if unsolved)
• question — problem text from the source dataset (DeepMath configs only)

---

qwen_step-deepmath

Model: Qwen3.5-397B-A17B
Source dataset: zwhe99/DeepMath-103K (indices 0–13,999)
Max attempts: 2

Prompt:

You are a helpful math expert. Solve the problem step-by-step. End your response exactly with: \boxed{<answer>}

Statistics:

Metric	Value
Total problems	13,982
Pass@1	82.9% (11,596 / 13,982)
Pass@2	86.0% (12,021 / 13,982)
Unsolved	1,961
Mean reasoning length	22,857 chars
Mean solution length	1,978 chars

---

qwen_logic-deepmath

Model: Qwen3.5-397B-A17B
Source dataset: zwhe99/DeepMath-103K (indices 0–13,999)
Max attempts: 2

Prompt:

You are a careful math solver.

Focus on the core logic and avoid unnecessary complexity.
Address all important details, but avoid over-explaining or repeating the same reasoning.
Cover all required cases, but avoid over-elaboration on less important ones.
Verify the solution step-by-step, ensuring the conclusion follows directly from the reasoning.
Keep the solution focused and concise.
The final answer must be stated as: \boxed{<answer>}

Statistics:

Metric	Value
Total problems	13,989
Pass@1	82.5% (11,540 / 13,989)
Pass@2	85.4% (11,940 / 13,989)
Unsolved	2,049
Mean reasoning length	20,368 chars
Mean solution length	1,773 chars

---

minimax-deepmath

Model: MiniMaxAI/MiniMax-M2.5
Source dataset: zwhe99/DeepMath-103K (indices 0–13,999)
Max attempts: 2

Prompt:

You are a helpful math expert. Solve the problem step by step.
Give enough justification to support the answer, but do not over-explore alternatives.
The final line must be exactly: \boxed{<answer>}

Statistics:

Metric	Value
Total problems	13,990
Pass@1	80.1% (11,201 / 13,990)
Pass@2	86.0% (12,029 / 13,990)
Unsolved	1,961
Mean reasoning length	14,694 chars
Mean solution length	840 chars

---

---

glm-deepmath

Model: zai-org/GLM-5
Source dataset: zwhe99/DeepMath-103K (indices 0–13,999)
Max attempts: 8

Prompt:

You are solving math problems under strict correctness requirements.

Work toward the answer with explicit logical checks.
Do not rely on intuition alone.
When a solution depends on considering multiple possibilities, make sure the cases are complete.
When counting, verify that nothing is missed and nothing is counted twice.
When using a known theorem or standard fact, apply it carefully to the exact setting.

Keep the solution focused.
The final line must be exactly: \boxed{<answer>}

Statistics:

Metric	Value
Total problems	13,800
Pass@1	79.9% (11,030 / 13,800)
Pass@8	83.9% (11,576 / 13,800)
Unsolved	2,224
Mean reasoning length	24,854 chars
Mean solution length	1,370 chars

Note: 200 of the 14,000 problems (indices 0–13,999) are missing from this config. These are tail problems whose expected solutions are very long; with the prompt above, generation hit the effective context limit before completing, and they were skipped rather than re-run with a higher token budget.

qwen-aime

Model: Qwen3.5-397B-A17B
Source dataset: gneubig/aime-1983-2024 (all 933 problems)
Max attempts: 8

Prompt:

You are a careful math solver.        
Focus on the core logic and avoid unnecessary complexity.
Address all important details, but avoid over-explaining or repeating the same reasoning.
Cover all required cases, but avoid over-elaboration on less important ones.
Verify the solution step-by-step, ensuring the conclusion follows directly from the reasoning.
Keep the solution focused and concise.                                                    
The final line must be exactly: ### \<answer\>. Example: ### 40.

Statistics:

Metric	Value
Total problems	933
Pass@1	97.0% (905 / 933)
Pass@2	98.8% (922 / 933)
Pass@8	99.6% (929 / 933)
Unsolved	4
Mean reasoning length	26,773 chars
Mean solution length	1,882 chars

Unsolved problem indices: 138, 153, 294, 882

kimi-deepmath

Model: moonshotai/Kimi-K2.5
Source dataset: zwhe99/DeepMath-103K (indices 0–13,999)
Max attempts: 8

Prompt:

You are a helpful math expert. Solve the problem step-by-step. End your response exactly with: \boxed{<answer>}

Statistics:

Metric	Value
Total problems	14,000
Pass@1	74.3% (10,397 / 14,000)
Pass@8	79.0% (11,061 / 14,000)
Unsolved	2,939
Mean reasoning length	17,757 chars
Mean solution length	1,947 chars

---

*-add_steps variants

glm-deepmath-add_steps and minimax-deepmath-add_steps take each model's correct solution and add latent thoughts between visible steps — an adaptation of the latent thoughts idea.

Prompt:

You are given a math problem and a teacher solution split into logical steps.

Your task is to add concise latent thoughts that explain the hidden reasoning needed to
go from one visible step to the next.

The latent thoughts should include only:
- missing background knowledge,
- the key idea behind the step,
- the short reasoning bridge that justifies the step,
- any hidden assumption needed for the transition.

Requirements:
- Keep the latent thoughts concise.
- Do not add alternative solution paths.
- Do not add unnecessary self-correction or long verification.
- Do not introduce new facts or methods not supported by the original solution.
- Make the result easier for a weak student to learn from.
- Preserve the original mathematical meaning.
- The final line must be exactly: \boxed{<answer>}

Output format:
For each step: first write one short hidden idea, then write the original visible step.

Problem:
{problem}

Teacher solution steps:
{solution_steps}

---

*-student_aware variants

glm-deepmath-student_aware and minimax-deepmath-student_aware rewrite each correct solution into a student-teachable format, inserting latent thoughts only where a weak student would struggle.

Prompt:

You are given a math problem and a teacher solution.

Your task is to rewrite the solution into a student-teachable format by adding latent thoughts.

The student is weak and tends to fail on long, overly compressed, or repetitive reasoning.
So only add latent thoughts that help explain difficult transitions.

Include:
1. a short latent plan before the solution,
2. short latent thoughts only before steps that require a non-obvious reasoning jump.

Requirements:
- Be concise.
- Prefer short local reasoning bridges over long hidden monologue.
- Do not add alternative methods.
- Do not add unnecessary verification.
- Preserve the original mathematical meaning.
- Make the final result easy for a weak student to imitate.
- The final line must be exactly: \boxed{<answer>}

Problem:
{problem}

Teacher solution:
{teacher_solution}

Student-teachable solution with latent thoughts: