Sean Welleck

wellecks

·

AI & ML interests

None yet

Recent Activity

published a dataset 1 day ago

l3lab/far-explorer-2026-09-30

updated a dataset 1 day ago

l3lab/far-explorer-2026-09-30

liked a dataset about 1 year ago

VanishD/DualDistill

View all activity

Organizations

wellecks 's datasets 2

wellecks/minif2f_isabelle

Updated Jul 3, 2023 • 30

wellecks/naturalproofs-gen

Viewer • Updated Jun 14, 2023 • 29.4k • 216 • 7