Sean Welleck's picture

1

Sean Welleck

wellecks

·

AI & ML interests

None yet

Organizations

Papers 1

arxiv:2405.01535

models 1

wellecks/llmstep-mathlib4-pythia2.8b

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

datasets 2

wellecks/minif2f_isabelle

Updated Jul 3, 2023 • 49

wellecks/naturalproofs-gen

Viewer • Updated Jun 14, 2023 • 29.4k • 204 • 3