MIT
University of Oxford
Stanford University
François ChartonMember of Technical Staff · AxiomResearcher↗
Researcher · Founder · Executive
Carina Hong
AxiomFounder and CEO
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.
Career & education
Current roleAxiom2025-presentFounder and CEO
Axiom2025-presentWork and education history is primarily focused on AI-relevant roles and may not be comprehensive.
Citation Trend
Total citations to scholarly work, including research papers, technical reports, books and theses, as recorded by Google Scholar. Each point is a dated snapshot.
citations105As of Oct 18, '26
citations+22Since last snapshot, Jun 15, '26
Based on public sources. If accuracy is important, verify details using the links or references.
For corrections, updates, or requests to remove information, contact us.
Reviewed August 9, 2026 · Checked for accuracy and new information.
