
Carina HongResearcher
Axiom
Founder and CEO
via Axiom
Researcher · Engineer
Member of Technical Staff at Axiom
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.
See something inaccurate or outdated?
AxiomWork and education history is primarily focused on AI-relevant roles and may not be comprehensive.
Last editorial review: August 10, 2026