Axiom is building an AI mathematical reasoning engine using post-training techniques that understands formal logic and creates verifiable knowledge.
  • 2025 - Founded
  • 2025 - Partnered, Seed

Leadership

Carina Hong
Founder & CEO

Great companies are being built by amazing teams.