·
AI & ML interests
None yet
Organizations
xl-zhao/PromptCoT-2.0-Concepts
Viewer
• Updated
• 416k • 93
xl-zhao/PromptCoT-2.0-SFT-4.8M
Viewer
• Updated
• 8.55M • 1.02k
• 11
xl-zhao/PromptCoT-2.0-SelfPlay-30B-11K
Viewer
• Updated
• 11.2k • 37
xl-zhao/PromptCoT-2.0-SelfPlay-4B-48K
Viewer
• Updated
• 32.2k • 513
xl-zhao/PromptCoT-QwQ-Dataset
Viewer
• Updated
• 42.9k • 42
• 6
xl-zhao/PromptCoT-DS-Dataset
Viewer
• Updated
• 406k • 61
• 2
xl-zhao/PromptCoT-Problem-Generation-Dataset
Viewer
• Updated
• 88.2k • 16
xl-zhao/formal_proof_v4_iter3
Viewer
• Updated
• 77.5k • 34
• 1
xl-zhao/formal_proof_v2_iter3
Viewer
• Updated
• 77.6k • 4
xl-zhao/formal_proof_v3_iter3
Viewer
• Updated
• 200k • 28
xl-zhao/formal_proof_v1_iter3
Viewer
• Updated
• 200k • 21
