Axiom
The startup builds verifiable AI systems that generate formally verified code to make AI-produced software safe, secure and accurate.
Overview
Axiom develops “verified AI” technology aimed at ensuring AI-generated code is safe, secure and accurate. Its approach trains AI systems to generate formally verified outputs, addressing concerns that probabilistic coding tools can produce plausible but unsafe or incorrect software. The company targets organizations using AI-generated code in high-stakes environments, including critical infrastructure systems where “frequently works” is insufficient. Axiom raised a $200 million Series A led by Menlo Ventures, valuing the company at $1.6 billion.
Funding History
Verifiable AI startup Axiom raises $200M to prove AI-generated code is safe to use
Frequently Asked Questions
- How much funding does AI Funding track for Axiom?
- AI Funding tracks $200M for Axiom across 1 funding round in this database.
- Who are Axiom's investors?
- Axiom's investors include Menlo Ventures.
- What does Axiom do?
- Axiom develops “verified AI” technology aimed at ensuring AI-generated code is safe, secure and accurate. Its approach trains AI systems to generate formally verified outputs, addressing concerns that probabilistic coding tools can produce plausible but unsafe or incorrect software. The company targets organizations using AI-generated code in high-stakes environments, including critical infrastructure systems where “frequently works” is insufficient. Axiom raised a $200 million Series A led by Menlo Ventures, valuing the company at $1.6 billion.
Investors
Related Insights
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.
Accel has led rounds for Scale AI, Lovable, and Cyera while backing Cursor. We analyze the firm's $2.8B AI portfolio and multi-layer investment thesis.
Thrive Capital has led funding rounds for OpenAI, Databricks, Perplexity, and Cursor. We analyze the firm's concentrated AI investment strategy and $25B+ portfolio.