Hugging Face's logo
Sean Welleck's picture
1

Sean Welleck

wellecks
21world's profile picture AireadMe's profile picture 0xLaszlo's profile picture
·

AI & ML interests

None yet

Organizations

Allen Institute for AI's profile picture open-web-math's profile picture ScalableMath's profile picture L3 Lab's profile picture

wellecks's activity

New activity in wellecks/minif2f_isabelle 11 months ago

Dataset Viewer issue

2
#1 opened 11 months ago by wellecks