Hugging Face's logo
Sean Welleck's picture
1

Sean Welleck

wellecks
AireadMe's profile picture 21world'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 12 months ago

Dataset Viewer issue

2
#1 opened 12 months ago by wellecks