kang zhu's picture

kang zhu

kangz

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 1 day ago

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

upvoted a paper 23 days ago

First Return, Entropy-Eliciting Explore

upvoted a paper 24 days ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

View all activity

Organizations

Papers 10

arxiv:2506.15741

arxiv:2506.12928

arxiv:2502.14739

arxiv:2410.13785

models 0

None public yet

datasets 1

kangz/query_data

Viewer • Updated Oct 31, 2024 • 4.96M • 46