Hugging Face's logo
Sean Welleck's picture
1

Sean Welleck

wellecks
0xLaszlo's profile picture shuyuej's profile picture AireadMe's profile picture
·

AI & ML interests

None yet

Organizations

open-web-math's profile picture ScalableMath's profile picture L3 Lab's profile picture

wellecks's activity

New activity in wellecks/minif2f_isabelle almost 2 years ago

Dataset Viewer issue

2
#1 opened almost 2 years ago by
wellecks