Yuhuai (Tony) Wu

A machine-learning researcher specializing in neural theorem proving, autoformalization, and mathematical reasoning. He was one of the eleven publicly named founding team members and his February…

• Co-founding researcher (departed Feb 2026) at xAI

Loading the full interactive profile on VizierAtlas…