·
AI & ML interests
None yet
Organizations
xl-zhao/PromptCoT-2.0-Concepts
Viewer
•
Updated
•
416k
•
104
xl-zhao/PromptCoT-2.0-SFT-4.8M
Viewer
•
Updated
•
8.55M
•
1.21k
•
11
xl-zhao/PromptCoT-2.0-SelfPlay-30B-11K
Viewer
•
Updated
•
11.2k
•
56
xl-zhao/PromptCoT-2.0-SelfPlay-4B-48K
Viewer
•
Updated
•
32.2k
•
483
xl-zhao/PromptCoT-QwQ-Dataset
Viewer
•
Updated
•
42.9k
•
46
•
6
xl-zhao/PromptCoT-DS-Dataset
Viewer
•
Updated
•
406k
•
42
•
2
xl-zhao/PromptCoT-Problem-Generation-Dataset
Viewer
•
Updated
•
88.2k
•
21
xl-zhao/formal_proof_v4_iter3
Viewer
•
Updated
•
77.5k
•
31
•
1
xl-zhao/formal_proof_v2_iter3
Viewer
•
Updated
•
77.6k
•
8
xl-zhao/formal_proof_v3_iter3
Viewer
•
Updated
•
200k
•
27
xl-zhao/formal_proof_v1_iter3
Viewer
•
Updated
•
200k
•
23