3 1 1

Ian Wu

HerrHruby

AI & ML interests

None yet

Recent Activity

updated a dataset about 16 hours ago

AI-Math-TCS/tcs_dataset_v1

published a dataset about 16 hours ago

AI-Math-TCS/tcs_dataset_v1

updated a Space 8 days ago

HerrHruby/tcs-dag-viewer

View all activity

Organizations

updated a dataset about 16 hours ago

AI-Math-TCS/tcs_dataset_v1

Updated about 16 hours ago • 19

published a dataset about 16 hours ago

AI-Math-TCS/tcs_dataset_v1

Updated about 16 hours ago • 19

updated a Space 8 days ago

TCS Paper DAG Viewer

🔬

Explore paper structures as interactive dependency graphs

published a Space 8 days ago

TCS Paper DAG Viewer

🔬

Explore paper structures as interactive dependency graphs

updated a model 10 days ago

HerrHruby/QED-Nano

4B • Updated 10 days ago • 17

published a model 10 days ago

HerrHruby/QED-Nano

4B • Updated 10 days ago • 17

updated a model 11 days ago

HerrHruby/meta_reasoning_v1_10_step240

4B • Updated 11 days ago • 19

published a model 11 days ago

HerrHruby/meta_reasoning_v1_10_step240

4B • Updated 11 days ago • 19

updated a model 12 days ago

HerrHruby/meta_reasoning_v1_01_step200

4B • Updated 12 days ago • 108

published a model 12 days ago

HerrHruby/meta_reasoning_v1_01_step200

4B • Updated 12 days ago • 108

updated a dataset 12 days ago

HerrHruby/tcs-proofs

Viewer • Updated 12 days ago • 28 • 27

published a dataset 12 days ago

HerrHruby/tcs-proofs

Viewer • Updated 12 days ago • 28 • 27

updated a dataset 13 days ago

HerrHruby/imo-proofbench-all-vf

Viewer • Updated 13 days ago • 60 • 82

published a dataset 13 days ago

HerrHruby/imo-proofbench-all-vf

Viewer • Updated 13 days ago • 60 • 82

updated a model 19 days ago

HerrHruby/meta_reasoning_proofs_stage_2_unified_step_380

4B • Updated 19 days ago • 36

published a model 19 days ago

HerrHruby/meta_reasoning_proofs_stage_2_unified_step_380

4B • Updated 19 days ago • 36

updated a model 19 days ago

HerrHruby/meta_reasoning_proofs_stage_2_unified_step_340

4B • Updated 19 days ago • 23

published a model 19 days ago

HerrHruby/meta_reasoning_proofs_stage_2_unified_step_340

4B • Updated 19 days ago • 23

updated a model 21 days ago

HerrHruby/meta_reasoning_proofs_stage_2_unified_step_280

4B • Updated 21 days ago • 24

published a model 21 days ago

HerrHruby/meta_reasoning_proofs_stage_2_unified_step_280

4B • Updated 21 days ago • 24

Ian Wu

AI & ML interests

Recent Activity

Organizations

HerrHruby's activity

TCS Paper DAG Viewer

TCS Paper DAG Viewer