activity
20222026
most citedTransport of a passive scalar in wide channels with surface topography

4 citations · 4 across the 5 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LG2026

Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification

Erik Y. Wang, Sumeet R. Motwani, James V. Roggeveen +9

Can AI make progress on important, unsolved mathematical problems? Large language models are now capable of sophisticated mathematical and scientific reasoning, but whether they ca…