arxiv:2505.02391
Hanning Zhang
HanningZhang
AI & ML interests
None yet
Recent Activity
updated
a model
about 1 hour ago
HanningZhang/deepseek_only_conjecture_claude_deepseek_train_data_max1_5e-7_bs32_decay1e-6_2ep_ep1
published
a model
about 1 hour ago
HanningZhang/deepseek_only_conjecture_claude_deepseek_train_data_max1_5e-7_bs32_decay1e-6_2ep_ep1
updated
a model
9 days ago
HanningZhang/physlean_ds_prover_noapply_curri_grpo_1e-6_bs256_step35