Xueliang Zhao

xl-zhao's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated 2 models 7 days ago

xl-zhao/PromptCoT-Problem-Generation-Model

Updated 7 days ago • 16

xl-zhao/PromptCoT-DS-1.5B

Updated 7 days ago • 30

updated a collection 7 days ago

PromptCoT

Collection

5 items • Updated 7 days ago

updated a model 7 days ago

xl-zhao/PromptCoT-DS-7B

Updated 7 days ago • 20

published a model 7 days ago

xl-zhao/PromptCoT-DS-7B

Updated 7 days ago • 20

updated a collection 7 days ago

PromptCoT

Collection

5 items • Updated 7 days ago

updated 2 datasets 7 days ago

xl-zhao/PromptCoT-DS-Dataset

Viewer • Updated 7 days ago • 406k • 49

xl-zhao/PromptCoT-Problem-Generation-Dataset

Viewer • Updated 7 days ago • 88.2k • 30

published 2 datasets 7 days ago

xl-zhao/PromptCoT-Problem-Generation-Dataset

Viewer • Updated 7 days ago • 88.2k • 30

xl-zhao/PromptCoT-DS-Dataset

Viewer • Updated 7 days ago • 406k • 49

published 2 models 7 days ago

xl-zhao/PromptCoT-Problem-Generation-Model

Updated 7 days ago • 16

xl-zhao/PromptCoT-DS-1.5B

Updated 7 days ago • 30

updated a model 7 months ago

xl-zhao/formal_proof_generator_v4_iter3

Updated Aug 27, 2024 • 4

updated a collection 7 months ago

SubgoalXL

Collection

8 items • Updated Aug 25, 2024

updated a dataset 7 months ago

xl-zhao/formal_proof_v4_iter3

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

updated a collection 7 months ago

SubgoalXL

Collection

8 items • Updated Aug 25, 2024