Willy Chan

willychan21's activity

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

updated a dataset 21 days ago

willychan21/casestudy_openevolve_results

Updated 21 days ago • 9

published a dataset 21 days ago

willychan21/casestudy_openevolve_results

Updated 21 days ago • 9

updated a dataset almost 2 years ago

AI4M/minif2f_real

Viewer • Updated Mar 18, 2024 • 244 • 6

updated 3 datasets about 2 years ago

AI4M/miniF2FInformalizations

Viewer • Updated Mar 6, 2024 • 186 • 4

AI4M/regexInformalizationData

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

AI4M/stateInfoInformalizationBig

Viewer • Updated Mar 6, 2024 • 100 • 5

updated a model about 2 years ago

AI4M/simple_regex_dataset

Updated Feb 27, 2024

updated 3 datasets about 2 years ago

AI4M/willy_mix_1

Viewer • Updated Feb 26, 2024 • 215 • 6

AI4M/minif2f_dataset

Viewer • Updated Feb 20, 2024 • 186 • 25

AI4M/state_info_informalization

Viewer • Updated Feb 12, 2024 • 29 • 6