Erik Wang's picture

1

Erik Wang

squashenthus

·

ewang26

AI & ML interests

Machine learning, computer science, and physics

Recent Activity

updated a dataset 19 days ago

squashenthus/HorizonMath

published a dataset 19 days ago

squashenthus/HorizonMath

upvoted a paper 19 days ago

HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification

View all activity

Organizations

None yet

squashenthus 's datasets 1

squashenthus/HorizonMath

Viewer • Updated 19 days ago • 101 • 134 • 1