·
AI & ML interests
None yet
Organizations
xl-zhao/PromptCoT-2.0-SelfPlay-4B
4B • Updated • 5
xl-zhao/PromptCoT-2.0-SelfPlay-30B-A3B
211k • Updated • 47
• 7
xl-zhao/PromptCoT-2.0-SFT-7B
8B • Updated • 7
• 1
xl-zhao/PromptCoT-2.0-Prompt-Generation-Model
33B • Updated • 9
• 3
xl-zhao/PromptCoT-Mamba-Math-7B
7B • Updated • 79
xl-zhao/PromptCoT-Mamba-7B
7B • Updated • 8
• 4
xl-zhao/PromptCoT-QwQ-32B
33B • Updated • 6
• 1
xl-zhao/PromptCoT-Problem-Generation-Model
8B • Updated • 12
• 1
xl-zhao/PromptCoT-DS-1.5B
2B • Updated • 6
8B • Updated • 9
xl-zhao/formal_proof_generator_v4_iter3
8B • Updated • 1
xl-zhao/formal_proof_generator_v2_iter3
8B • Updated • 3
xl-zhao/formal_proof_generator_v3_iter3
8B • Updated • 2
• 1
xl-zhao/formal_proof_generator_v1_iter3
8B • Updated • 1