Axiom
Develops verifiable AI systems that use formal proofs in Lean to assess whether AI-generated code is safe, secure and accurate.
Overview
Axiom builds verified AI technology intended to make AI-generated software provably safe and correct. Its approach trains AI systems to generate formally verified outputs in Lean, a programming language used for mathematical proofs, rather than relying on probabilistic code that only appears plausible. The company targets organizations adopting AI coding tools, particularly where software may be used in critical infrastructure or security-sensitive systems. Axiom raised a $200 million Series A led by Menlo Ventures at a $1.6 billion valuation, positioning it around the emerging category of verifiable AI for code safety.
Funding History
Verifiable AI startup Axiom raises $200M to prove AI-generated code is safe to use
Frequently Asked Questions
- How much has Axiom raised in total?
- Axiom has raised a total of $200M across 1 funding round.
- Who are Axiom's investors?
- Axiom's investors include Menlo Ventures.
- What does Axiom do?
- Axiom builds verified AI technology intended to make AI-generated software provably safe and correct. Its approach trains AI systems to generate formally verified outputs in Lean, a programming language used for mathematical proofs, rather than relying on probabilistic code that only appears plausible. The company targets organizations adopting AI coding tools, particularly where software may be used in critical infrastructure or security-sensitive systems. Axiom raised a $200 million Series A led by Menlo Ventures at a $1.6 billion valuation, positioning it around the emerging category of verifiable AI for code safety.
Investors
Related Insights
A comprehensive analysis of Gumloop's funding history, investors, competitive position, and growth trajectory in the AI Developer Tools space.
A comprehensive analysis of ChipAgents's funding history, investors, competitive position, and growth trajectory in the AI Developer Tools space.
A data-driven analysis of AI funding across all 17 sectors — from Foundation Models to AI Healthcare — with sector totals, deal counts, top companies, and investment trends for 2026.