Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
2
6
2
Xueliang Zhao
xl-zhao
Follow
chewkokwah's profile picture
21world's profile picture
Trilogix1's profile picture
14 followers
·
8 following
AI & ML interests
None yet
Recent Activity
authored
a paper
about 2 months ago
DynaAct: Large Language Model Reasoning with Dynamic Action Spaces
upvoted
a
paper
about 2 months ago
DynaAct: Large Language Model Reasoning with Dynamic Action Spaces
commented
on
a paper
about 2 months ago
DynaAct: Large Language Model Reasoning with Dynamic Action Spaces
View all activity
Organizations
xl-zhao
's models
14
Sort: Recently updated
xl-zhao/PromptCoT-2.0-SelfPlay-4B
4B
•
Updated
Sep 26, 2025
•
15
xl-zhao/PromptCoT-2.0-SelfPlay-30B-A3B
211k
•
Updated
Sep 26, 2025
•
12
•
6
xl-zhao/PromptCoT-2.0-SFT-7B
8B
•
Updated
Sep 26, 2025
•
11
xl-zhao/PromptCoT-2.0-Prompt-Generation-Model
33B
•
Updated
Sep 26, 2025
•
12
•
2
xl-zhao/PromptCoT-Mamba-Math-7B
7B
•
Updated
May 29, 2025
•
23
xl-zhao/PromptCoT-Mamba-7B
7B
•
Updated
May 29, 2025
•
9
•
3
xl-zhao/PromptCoT-QwQ-32B
33B
•
Updated
Apr 10, 2025
•
21
•
1
xl-zhao/PromptCoT-Problem-Generation-Model
8B
•
Updated
Mar 5, 2025
•
18
xl-zhao/PromptCoT-DS-1.5B
2B
•
Updated
Mar 5, 2025
•
15
xl-zhao/PromptCoT-DS-7B
8B
•
Updated
Mar 5, 2025
•
7
xl-zhao/formal_proof_generator_v4_iter3
8B
•
Updated
Aug 27, 2024
•
10
xl-zhao/formal_proof_generator_v2_iter3
8B
•
Updated
Aug 25, 2024
•
12
xl-zhao/formal_proof_generator_v3_iter3
8B
•
Updated
Aug 23, 2024
•
10
•
1
xl-zhao/formal_proof_generator_v1_iter3
8B
•
Updated
Aug 23, 2024
•
13