Xueliang Zhao's picture

3 1

Xueliang Zhao

xl-zhao

·

AI & ML interests

None yet

Organizations

Collections 3

View 3 collections

models 10

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

7B • Updated May 29 • 3

xl-zhao/PromptCoT-Mamba-7B

7B • Updated May 29 • 43 • 3

xl-zhao/PromptCoT-QwQ-32B

33B • Updated Apr 10 • 3 • 1

xl-zhao/PromptCoT-Problem-Generation-Model

8B • Updated Mar 5 • 4

xl-zhao/PromptCoT-DS-1.5B

2B • Updated Mar 5 • 4

xl-zhao/PromptCoT-DS-7B

8B • Updated Mar 5 • 2

xl-zhao/formal_proof_generator_v4_iter3

8B • Updated Aug 27, 2024 • 4

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 • 5 • 1

xl-zhao/formal_proof_generator_v1_iter3

8B • Updated Aug 23, 2024 • 5

datasets 7

xl-zhao/PromptCoT-QwQ-Dataset

Viewer • Updated Apr 10 • 42.9k • 13 • 6

xl-zhao/PromptCoT-DS-Dataset

Viewer • Updated Mar 5 • 406k • 14 • 2

xl-zhao/PromptCoT-Problem-Generation-Dataset

Viewer • Updated Mar 5 • 88.2k • 26

xl-zhao/formal_proof_v4_iter3

Viewer • Updated Aug 25, 2024 • 77.5k • 8 • 1

xl-zhao/formal_proof_v2_iter3

Viewer • Updated Aug 25, 2024 • 77.6k • 2

xl-zhao/formal_proof_v3_iter3

Viewer • Updated Aug 23, 2024 • 200k • 1

xl-zhao/formal_proof_v1_iter3

Viewer • Updated Aug 23, 2024 • 200k • 9