Hugging Face's logo
Erik Wang's picture
1

Erik Wang

squashenthus
dark-pen's profile picture
·

AI & ML interests

Machine learning, computer science, and physics

Recent Activity

updated a dataset 24 days ago
squashenthus/HorizonMath
published a dataset 24 days ago
squashenthus/HorizonMath
upvoted a paper 24 days ago
HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification
View all activity

Organizations

None yet