MIT
University of Oxford
Stanford University
François ChartonResearcher
Axiom
Member of Technical Staff
via Axiom
Researcher · Founder · Executive
Carina Hong
CH
Founder and CEO at Axiom
Hong founded Axiom to build an AI mathematician that can produce detailed proofs and formally check its own work. A mathematician herself, she left Stanford's doctoral program to pursue systems that combine intuitive problem solving with verification, making advanced reasoning more reliable.
See something inaccurate or outdated?
Background
Current role
Founder and CEOAxiom
AxiomAbout this data
Work and education history is primarily focused on AI-relevant roles and may not be comprehensive.
Last editorial review: August 9, 2026Citation Trend
2 snapshots83citations as of Jun 15, '26+22 since Aug 25, '25
For today’s citation count and citations per paper, visit Google Scholar.