0

Erik Y. Wang

Papers
2

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
2papers

Authored papers

2

HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification

arXiv 2026

2026

HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics

arXiv 2024

2024

Affiliations

No known affiliations.

Frequent co-authors

10

from 2 papers

Alessandro Abate

1 shared paper

Charles London

1 shared paper

Corey Wang

1 shared paper

Danxian Liu

1 shared paper

Dulhan Jayalath

1 shared paper

Eliot Hodges

1 shared paper

Flaviu Cipcigan

1 shared paper

James V. Roggeveen

1 shared paper

Jingxuan Fan

1 shared paper

Jonah Brenner

1 shared paper