Xueliang Zhao

xl-zhao 's models 10

Sort:  Recently updated

xl-zhao/PromptCoT-Mamba-Math-7B

7B • Updated May 29 • 5

xl-zhao/PromptCoT-Mamba-7B

7B • Updated May 29 • 124 • 3

xl-zhao/PromptCoT-QwQ-32B

33B • Updated Apr 10 • 6 • 1

xl-zhao/PromptCoT-Problem-Generation-Model

8B • Updated Mar 5 • 4

xl-zhao/PromptCoT-DS-1.5B

2B • Updated Mar 5 • 49

xl-zhao/PromptCoT-DS-7B

8B • Updated Mar 5 • 5

xl-zhao/formal_proof_generator_v4_iter3

8B • Updated Aug 27, 2024 • 3

xl-zhao/formal_proof_generator_v2_iter3

8B • Updated Aug 25, 2024 • 3

xl-zhao/formal_proof_generator_v3_iter3

8B • Updated Aug 23, 2024 • 4 • 1

xl-zhao/formal_proof_generator_v1_iter3

8B • Updated Aug 23, 2024 • 3