Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Xueliang Zhao
xl-zhao
2
8
4
Follow
JohnRoger's profile picture
yangninghua's profile picture
dark-pen's profile picture
14 followers
·
10 following
AI & ML interests
None yet
Recent Activity
liked
a model
9 days ago
tencent/Hy4-preview
upvoted
a
paper
16 days ago
LEGO-RL: Harness-Native Reinforcement Learning for Coding Agents
liked
a model
22 days ago
Qwen/Qwen3.8-27B
View all activity
Organizations
xl-zhao
's models
14
Sort: Recently updated
xl-zhao/PromptCoT-2.0-SelfPlay-4B
4B
•
Updated
Sep 26, 2025
•
5
xl-zhao/PromptCoT-2.0-SelfPlay-30B-A3B
211k
•
Updated
Sep 26, 2025
•
4
•
7
xl-zhao/PromptCoT-2.0-SFT-7B
8B
•
Updated
Sep 26, 2025
•
7
•
1
xl-zhao/PromptCoT-2.0-Prompt-Generation-Model
33B
•
Updated
Sep 26, 2025
•
7
•
3
xl-zhao/PromptCoT-Mamba-Math-7B
7B
•
Updated
May 29, 2025
•
11
xl-zhao/PromptCoT-Mamba-7B
7B
•
Updated
May 29, 2025
•
13
•
4
xl-zhao/PromptCoT-QwQ-32B
33B
•
Updated
Apr 10, 2025
•
6
•
1
xl-zhao/PromptCoT-Problem-Generation-Model
8B
•
Updated
Mar 5, 2025
•
6
•
1
xl-zhao/PromptCoT-DS-1.5B
2B
•
Updated
Mar 5, 2025
•
17
xl-zhao/PromptCoT-DS-7B
8B
•
Updated
Mar 5, 2025
•
7
xl-zhao/formal_proof_generator_v4_iter3
8B
•
Updated
Aug 27, 2024
•
5
xl-zhao/formal_proof_generator_v2_iter3
8B
•
Updated
Aug 25, 2024
•
9
xl-zhao/formal_proof_generator_v3_iter3
8B
•
Updated
Aug 23, 2024
•
6
•
1
xl-zhao/formal_proof_generator_v1_iter3
8B
•
Updated
Aug 23, 2024
•
9