Hugging Face's logo
Sean Welleck's picture
1

Sean Welleck

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

AI & ML interests

None yet

Organizations

Ai2'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 about 1 year ago

Dataset Viewer issue

2
#1 opened about 1 year ago by wellecks