“Verify all software.”In its own words: theorem.dev
Y Combinator startup training AI models to formally verify software, aiming to catch bugs in AI-written code before deployment.
Show detailsHide details
Received $1M from 1 funder
Checked 25 Oct 2026
Money flows
Where its money came from and where it went. Pick years and what to show; hover a box or ribbon for details, click one to focus it, click the background to see everything.
Funded by
All grants
1 grant totalling $1M, newest first.
2025 1 grant · $1M
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| May 2025 | Coefficient Giving | $1M | AI for Formal Software Verification (Contract) source |