Carina HongFounder and CEO · AxiomResearcher↗
Researcher · Engineer
AxiomMember of Technical Staff
Charton studies how language models discover mathematical structure. His work showed transformers learning symbolic integration, solving equations and navigating proof-like reasoning from examples; after leading this line of research at Meta, he joined Axiom to build AI systems for mathematics.
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 10, 2026 · Checked for accuracy and new information.