Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
1
Sean Welleck
wellecks
Follow
shuyuej's profile picture
21world's profile picture
0xLaszlo's profile picture
4 followers
·
0 following
AI & ML interests
None yet
Organizations
Papers
1
arxiv:
2405.01535
models
1
wellecks/llmstep-mathlib4-pythia2.8b
Text Generation
•
Updated
Aug 9, 2023
•
870
•
6
datasets
2
Sort: Recently updated
wellecks/minif2f_isabelle
Updated
Jul 3, 2023
•
51
wellecks/naturalproofs-gen
Viewer
•
Updated
Jun 14, 2023
•
29.4k
•
137
•
3