Sean Welleck's picture

1

Sean Welleck

wellecks

Research interests

None yet

Organizations

models 1

wellecks/llmstep-mathlib4-pythia2.8b

Text Generation • Updated Aug 9 • 177 • 3

datasets 2

wellecks/minif2f_isabelle

Updated Jul 3 • 99

wellecks/naturalproofs-gen

Viewer • Updated Jun 14 • 2