Ian Wu

HerrHruby's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 2 days ago

Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL

Paper • 2602.03773 • Published 25 days ago • 11

updated a Space 14 days ago

Running

Featured

55

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems

📝

55

Who needs 1T parameters? Olympiad proofs with a 4B model

published a Space 15 days ago

No application file

Rc React

📈

React animation for RC

New activity in HerrHruby/offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_no_summ_curr_step_120 15 days ago

Add model card for Reasoning Cache (RCT-4B)

#1 opened 16 days ago by

nielsr

New activity in HerrHruby/acemath_rl_4b_inst_hard_with_dishsoap 15 days ago

Add dataset card and link to paper

#2 opened 16 days ago by

nielsr

New activity in HerrHruby/acemath_rl_4b_inst_hard 15 days ago

Add link to paper and GitHub repository

#2 opened 16 days ago by

nielsr

liked a model 16 days ago

lm-provers/QED-Nano

Text Generation • 4B • Updated 12 days ago • 5.21k • 83

updated a dataset about 1 month ago

HerrHruby/answerbench_offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_self_refine_step_70

Viewer • Updated Jan 25 • 3.2k • 10

published a dataset about 1 month ago

HerrHruby/answerbench_offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_self_refine_step_70

Viewer • Updated Jan 25 • 3.2k • 10

updated a dataset about 1 month ago

HerrHruby/answerbench_offline_acemath_rl_4b_hard_with_dishsoap_16k_self_verify_step_80

Viewer • Updated Jan 25 • 1.6k • 9

published a dataset about 1 month ago

HerrHruby/answerbench_offline_acemath_rl_4b_hard_with_dishsoap_16k_self_verify_step_80

Viewer • Updated Jan 25 • 1.6k • 9

updated a dataset about 1 month ago

HerrHruby/aime_offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_self_refine_step_70

Viewer • Updated Jan 25 • 240 • 10

published a dataset about 1 month ago

HerrHruby/aime_offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_self_refine_step_70

Viewer • Updated Jan 25 • 240 • 10

updated a dataset about 1 month ago

HerrHruby/aime_offline_acemath_rl_4b_hard_with_dishsoap_16k_self_verify_step_80

Viewer • Updated Jan 25 • 240 • 10

published a dataset about 1 month ago

HerrHruby/aime_offline_acemath_rl_4b_hard_with_dishsoap_16k_self_verify_step_80

Viewer • Updated Jan 25 • 240 • 10

updated a model about 1 month ago

HerrHruby/offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_self_refine_step_70

4B • Updated Jan 24

published a model about 1 month ago

HerrHruby/offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_self_refine_step_70

4B • Updated Jan 24

updated a model about 1 month ago

HerrHruby/offline_acemath_rl_4b_hard_with_dishsoap_16k_self_verify_step_80

4B • Updated Jan 24

published a model about 1 month ago

HerrHruby/offline_acemath_rl_4b_hard_with_dishsoap_16k_self_verify_step_80

4B • Updated Jan 24

updated a model about 1 month ago

HerrHruby/online_acemath_rl_4b_inst_hard_16k_self_verify_step_100

4B • Updated Jan 22 • 1