ENTITY Erik A. Wang

Erik A. Wang

PulseAugur coverage of Erik A. Wang — every cluster mentioning Erik A. Wang across labs, papers, and developer communities, ranked by signal.

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

1

1 over 90d

TIER MIX · 90D

TOPICS

RECENT · PAGE 1/1 · 1 TOTAL

RESEARCH · CL_247850 · Sep 11 · 04:00

AI models tackle unsolved math problems with formal proofs and new discoveries

Two new research papers explore the capabilities of large language models in advanced mathematical reasoning and discovery. The first paper introduces Magenta, a system that bridges informal natural language math proble…