Willy Chan

willychan21's activity

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

updated a dataset 12 days ago

willychan21/ParallelKernelBench_Kernels

Viewer • Updated 12 days ago • 87 • 343

published a dataset 12 days ago

willychan21/ParallelKernelBench_Kernels

Viewer • Updated 12 days ago • 87 • 343

updated a dataset 12 days ago

willychan21/ParallelKernelBench_Problems

Viewer • Updated 12 days ago • 174 • 180

published a dataset 12 days ago

willychan21/ParallelKernelBench_Problems

Viewer • Updated 12 days ago • 174 • 180

updated a dataset 4 months ago

willychan21/casestudy_openevolve_results

Updated Feb 19 • 5

published a dataset 4 months ago

willychan21/casestudy_openevolve_results

Updated Feb 19 • 5

updated a dataset about 2 years ago

AI4M/minif2f_real

Viewer • Updated Mar 18, 2024 • 244 • 11

updated 3 datasets over 2 years ago

AI4M/miniF2FInformalizations

Viewer • Updated Mar 6, 2024 • 186 • 8

AI4M/regexInformalizationData

Viewer • Updated Mar 6, 2024 • 2.88k • 5

AI4M/stateInfoInformalizationBig

Viewer • Updated Mar 6, 2024 • 100 • 6

updated a model over 2 years ago

AI4M/simple_regex_dataset

Updated Feb 27, 2024

updated 3 datasets over 2 years ago

AI4M/willy_mix_1

Viewer • Updated Feb 26, 2024 • 215 • 4

AI4M/minif2f_dataset

Viewer • Updated Feb 20, 2024 • 186 • 59

AI4M/state_info_informalization

Viewer • Updated Feb 12, 2024 • 29 • 4