Xueliang Zhao's picture

3 1

Xueliang Zhao

xl-zhao

·

AI & ML interests

None yet

Organizations

xl-zhao 's datasets 7

xl-zhao/PromptCoT-QwQ-Dataset

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

xl-zhao/PromptCoT-DS-Dataset

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

xl-zhao/PromptCoT-Problem-Generation-Dataset

Viewer • Updated Mar 5 • 88.2k • 100

xl-zhao/formal_proof_v4_iter3

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

xl-zhao/formal_proof_v2_iter3

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

xl-zhao/formal_proof_v3_iter3

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

xl-zhao/formal_proof_v1_iter3

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