PromptCoT 2.0 PromptCoT 2.0: Scaling Prompt Synthesis for Large Language Model Reasoning Paper • 2509.19894 • Published Sep 24, 2025 • 34 xl-zhao/PromptCoT-2.0-Prompt-Generation-Model 33B • Updated Sep 26, 2025 • 23 • 2 xl-zhao/PromptCoT-2.0-SFT-7B 8B • Updated Sep 26, 2025 • 16 • 1 xl-zhao/PromptCoT-2.0-SelfPlay-4B 4B • Updated Sep 26, 2025 • 104
PromptCoT 2.0: Scaling Prompt Synthesis for Large Language Model Reasoning Paper • 2509.19894 • Published Sep 24, 2025 • 34
PromptCoT xl-zhao/PromptCoT-Problem-Generation-Model 8B • Updated Mar 5, 2025 • 33 • 1 xl-zhao/PromptCoT-Problem-Generation-Dataset Viewer • Updated Mar 5, 2025 • 88.2k • 21 xl-zhao/PromptCoT-QwQ-32B 33B • Updated Apr 10, 2025 • 1 • 1 xl-zhao/PromptCoT-QwQ-Dataset Viewer • Updated Apr 10, 2025 • 42.9k • 44 • 6
PromptCoT-Mamba xl-zhao/PromptCoT-Mamba-7B 7B • Updated May 29, 2025 • 1 • 4 xl-zhao/PromptCoT-Mamba-Math-7B 7B • Updated May 29, 2025 • 1
SubgoalXL xl-zhao/formal_proof_generator_v1_iter3 8B • Updated Aug 23, 2024 • 2 xl-zhao/formal_proof_generator_v2_iter3 8B • Updated Aug 25, 2024 • 2 xl-zhao/formal_proof_generator_v3_iter3 8B • Updated Aug 23, 2024 • 4 • 1 xl-zhao/formal_proof_generator_v4_iter3 8B • Updated Aug 27, 2024 • 2
PromptCoT 2.0 PromptCoT 2.0: Scaling Prompt Synthesis for Large Language Model Reasoning Paper • 2509.19894 • Published Sep 24, 2025 • 34 xl-zhao/PromptCoT-2.0-Prompt-Generation-Model 33B • Updated Sep 26, 2025 • 23 • 2 xl-zhao/PromptCoT-2.0-SFT-7B 8B • Updated Sep 26, 2025 • 16 • 1 xl-zhao/PromptCoT-2.0-SelfPlay-4B 4B • Updated Sep 26, 2025 • 104
PromptCoT 2.0: Scaling Prompt Synthesis for Large Language Model Reasoning Paper • 2509.19894 • Published Sep 24, 2025 • 34
PromptCoT-Mamba xl-zhao/PromptCoT-Mamba-7B 7B • Updated May 29, 2025 • 1 • 4 xl-zhao/PromptCoT-Mamba-Math-7B 7B • Updated May 29, 2025 • 1
PromptCoT xl-zhao/PromptCoT-Problem-Generation-Model 8B • Updated Mar 5, 2025 • 33 • 1 xl-zhao/PromptCoT-Problem-Generation-Dataset Viewer • Updated Mar 5, 2025 • 88.2k • 21 xl-zhao/PromptCoT-QwQ-32B 33B • Updated Apr 10, 2025 • 1 • 1 xl-zhao/PromptCoT-QwQ-Dataset Viewer • Updated Apr 10, 2025 • 42.9k • 44 • 6
SubgoalXL xl-zhao/formal_proof_generator_v1_iter3 8B • Updated Aug 23, 2024 • 2 xl-zhao/formal_proof_generator_v2_iter3 8B • Updated Aug 25, 2024 • 2 xl-zhao/formal_proof_generator_v3_iter3 8B • Updated Aug 23, 2024 • 4 • 1 xl-zhao/formal_proof_generator_v4_iter3 8B • Updated Aug 27, 2024 • 2
