·
AI & ML interests
None yet
Organizations
xl-zhao/PromptCoT-2.0-Concepts
Viewer
•
Updated
•
416k
•
86
xl-zhao/PromptCoT-2.0-SFT-4.8M
Viewer
•
Updated
•
8.55M
•
949
•
11
xl-zhao/PromptCoT-2.0-SelfPlay-30B-11K
Viewer
•
Updated
•
11.2k
•
38
xl-zhao/PromptCoT-2.0-SelfPlay-4B-48K
Viewer
•
Updated
•
32.2k
•
463
xl-zhao/PromptCoT-QwQ-Dataset
Viewer
•
Updated
•
42.9k
•
39
•
6
xl-zhao/PromptCoT-DS-Dataset
Viewer
•
Updated
•
406k
•
54
•
2
xl-zhao/PromptCoT-Problem-Generation-Dataset
Viewer
•
Updated
•
88.2k
•
13
xl-zhao/formal_proof_v4_iter3
Viewer
•
Updated
•
77.5k
•
29
•
1
xl-zhao/formal_proof_v2_iter3
Viewer
•
Updated
•
77.6k
•
4
xl-zhao/formal_proof_v3_iter3
Viewer
•
Updated
•
200k
•
20
xl-zhao/formal_proof_v1_iter3
Viewer
•
Updated
•
200k
•
17