HerrHruby/fineproofs
Viewer • Updated • 2.8k • 6
Ian Wu
HerrHruby
AI & ML interests
None yet
Recent Activity
updated a dataset about 13 hours ago
HerrHruby/fineproofs published a dataset about 13 hours ago
HerrHruby/fineproofs updated a dataset 5 days ago
AI-Math-TCS/tcs_dataset_v1_1Organizations
HerrHruby/gvf_train_vf_outputs
Viewer • Updated • 20 • 21
HerrHruby/gvf-outputs
Viewer • Updated • 4k • 82
HerrHruby/rc-outputs
Viewer • Updated • 1.64k • 45
HerrHruby/tcs-proofs
Viewer • Updated • 28 • 30
HerrHruby/imo-proofbench-all-vf
Viewer • Updated • 60 • 109
HerrHruby/acemath_rl_4b_inst_hard_with_dishsoap
Viewer • Updated • 3.81k • 88 • 1
HerrHruby/acemath_rl_4b_inst_hard
Viewer • Updated • 5.8k • 124
HerrHruby/answerbench_offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_self_refine_step_70
Viewer • Updated • 3.2k • 4
HerrHruby/answerbench_offline_acemath_rl_4b_hard_with_dishsoap_16k_self_verify_step_80
Viewer • Updated • 1.6k • 8
HerrHruby/aime_offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_self_refine_step_70
Viewer • Updated • 240 • 1
HerrHruby/aime_offline_acemath_rl_4b_hard_with_dishsoap_16k_self_verify_step_80
Viewer • Updated • 240 • 44
HerrHruby/acemath_rl_30b_a3b_inst_even_harder_filtered
Viewer • Updated • 1.51k • 9
HerrHruby/acemath_rl_30b_a3b_inst_hard_filtered_with_dishsoap
Viewer • Updated • 3.28k • 67
HerrHruby/acemath_rl_30b_a3b_inst_hard_filtered
Viewer • Updated • 2.25k • 2
HerrHruby/acemath_rl_30b_a3b_inst_hard
Viewer • Updated • 2.49k • 3
HerrHruby/pope_acemath_mix_rl_372
Viewer • Updated • 500 • 7
HerrHruby/acemath_rl_4b_inst_hard_with_dishsoap_tiny
Viewer • Updated • 144 • 3
HerrHruby/acemath_rl_4b_inst_hard_with_dishsoap_small
Viewer • Updated • 1.15k • 3
HerrHruby/acemath_rl_4b_hard_with_dishsoap
Viewer • Updated • 4.13k • 7
HerrHruby/acemath_rl_4b_hard
Viewer • Updated • 5.45k • 10
HerrHruby/AceReason-Math-Qwen3-4B-no-responses
Viewer • Updated • 34.3k • 3
HerrHruby/pope_rl_800
Viewer • Updated • 854 • 11
HerrHruby/aime_2025_rl
Viewer • Updated • 60 • 12
HerrHruby/hmmt_2025_rl
Viewer • Updated • 60 • 8
HerrHruby/polaris_acemath_rl_4b_inst_hard_filtered_4k
Viewer • Updated • 4.03k • 2
HerrHruby/Polaris-AceReason-Math-combined-no-responses
Viewer • Updated • 91k • 5
HerrHruby/qwen3_30b_moe_acemath_rl_4b_inst_hard_and_dishsoap_summaries
Viewer • Updated • 5.68k • 2
HerrHruby/qwen3_30b_moe_acemath_rl_4b_inst_hard_summaries
Viewer • Updated • 5.68k • 3
HerrHruby/interventions_e3_prefix_RL_intervention_only
Viewer • Updated • 736 • 75