Ian Wu

HerrHruby's activity

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

updated a Space 4 days ago

Running

Featured

35

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

📝

35

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

published a Space 5 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 6 days ago

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

#1 opened 6 days ago by

nielsr

New activity in HerrHruby/acemath_rl_4b_inst_hard_with_dishsoap 6 days ago

Add dataset card and link to paper

#2 opened 6 days ago by

nielsr

New activity in HerrHruby/acemath_rl_4b_inst_hard 6 days ago

Add link to paper and GitHub repository

#2 opened 6 days ago by

nielsr

liked a model 7 days ago

lm-provers/QED-Nano

Text Generation • 4B • Updated 3 days ago • 352 • 64

updated a dataset 25 days ago

HerrHruby/answerbench_offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_self_refine_step_70

Viewer • Updated 25 days ago • 3.2k • 15

published a dataset 25 days ago

HerrHruby/answerbench_offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_self_refine_step_70

Viewer • Updated 25 days ago • 3.2k • 15

updated a dataset 25 days ago

HerrHruby/answerbench_offline_acemath_rl_4b_hard_with_dishsoap_16k_self_verify_step_80

Viewer • Updated 25 days ago • 1.6k • 17

published a dataset 25 days ago

HerrHruby/answerbench_offline_acemath_rl_4b_hard_with_dishsoap_16k_self_verify_step_80

Viewer • Updated 25 days ago • 1.6k • 17

updated a dataset 25 days ago

HerrHruby/aime_offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_self_refine_step_70

Viewer • Updated 25 days ago • 240 • 17

published a dataset 25 days ago

HerrHruby/aime_offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_self_refine_step_70

Viewer • Updated 25 days ago • 240 • 17

updated a dataset 25 days ago

HerrHruby/aime_offline_acemath_rl_4b_hard_with_dishsoap_16k_self_verify_step_80

Viewer • Updated 25 days ago • 240 • 16

published a dataset 25 days ago

HerrHruby/aime_offline_acemath_rl_4b_hard_with_dishsoap_16k_self_verify_step_80

Viewer • Updated 25 days ago • 240 • 16

updated a model 26 days ago

HerrHruby/offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_self_refine_step_70

4B • Updated 26 days ago • 16

published a model 26 days ago

HerrHruby/offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_self_refine_step_70

4B • Updated 26 days ago • 16

updated a model 26 days ago

HerrHruby/offline_acemath_rl_4b_hard_with_dishsoap_16k_self_verify_step_80

4B • Updated 26 days ago • 20

published a model 26 days ago

HerrHruby/offline_acemath_rl_4b_hard_with_dishsoap_16k_self_verify_step_80

4B • Updated 26 days ago • 20

updated a model 28 days ago

HerrHruby/online_acemath_rl_4b_inst_hard_16k_self_verify_step_100

4B • Updated 28 days ago • 104

published a model 28 days ago

HerrHruby/online_acemath_rl_4b_inst_hard_16k_self_verify_step_100

4B • Updated 28 days ago • 104