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