Xueliang Zhao
xl-zhao
AI & ML interests
None yet
Recent Activity
updated
a model
7 days ago
xl-zhao/PromptCoT-Problem-Generation-Model
updated
a model
7 days ago
xl-zhao/PromptCoT-DS-1.5B
updated
a collection
7 days ago
PromptCoT
Organizations
Collections
2
models
7
xl-zhao/PromptCoT-Problem-Generation-Model
Updated
•
14
xl-zhao/PromptCoT-DS-1.5B
Updated
•
28
xl-zhao/PromptCoT-DS-7B
Updated
•
20
xl-zhao/formal_proof_generator_v4_iter3
Updated
•
4
xl-zhao/formal_proof_generator_v2_iter3
Updated
•
4
xl-zhao/formal_proof_generator_v3_iter3
Updated
•
5
•
1
xl-zhao/formal_proof_generator_v1_iter3
Updated
•
11
datasets
6
xl-zhao/PromptCoT-DS-Dataset
Viewer
•
Updated
•
406k
•
44
xl-zhao/PromptCoT-Problem-Generation-Dataset
Viewer
•
Updated
•
88.2k
•
26
xl-zhao/formal_proof_v4_iter3
Viewer
•
Updated
•
77.5k
•
39
•
1
xl-zhao/formal_proof_v2_iter3
Viewer
•
Updated
•
77.6k
•
36
xl-zhao/formal_proof_v3_iter3
Viewer
•
Updated
•
200k
•
36
xl-zhao/formal_proof_v1_iter3
Viewer
•
Updated
•
200k
•
35