arxiv:2506.15741
kang zhu
kangz
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
19 days ago
First Return, Entropy-Eliciting Explore
upvoted
a
paper
20 days ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical
Formalization
upvoted
a
paper
20 days ago
A Survey on Latent Reasoning
Organizations
