Sean Welleck

wellecks

·

AI & ML interests

None yet

Recent Activity

published a dataset 6 days ago

l3lab/far-explorer-2026-09-30

updated a dataset 6 days ago

l3lab/far-explorer-2026-09-30

liked a dataset about 1 year ago

VanishD/DualDistill

View all activity

Organizations

Papers 3

arxiv:2505.10185

arxiv:2412.03679

arxiv:2405.01535

models 1

wellecks/llmstep-mathlib4-pythia2.8b

Text Generation • Updated Aug 9, 2023 • 67 • 6

datasets 2

wellecks/minif2f_isabelle

Updated Jul 3, 2023 • 29

wellecks/naturalproofs-gen

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