squashenthus/HorizonMath
Viewer • Updated • 101 • 265 • 2
Erik Wang
squashenthus
AI & ML interests
Machine learning, computer science, and physics
Recent Activity
updated a dataset about 1 month ago
squashenthus/HorizonMath published a dataset about 1 month ago
squashenthus/HorizonMath upvoted a paper about 1 month ago
HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic VerificationOrganizations
None yet
updated a
dataset about 1 month ago
published a
dataset about 1 month ago
upvoted a paper about 1 month ago
updated a
model about 1 year ago
published a
model about 1 year ago