Formal
formal.ai
AI Safety & Alignment
AI Governance & Compliance
Information Security
As featured in
Claim pageClaim
Follow
Overview
News
Salaries
Products
People
Growth
Offices
Financials
Funding and backers
Backers
2
Y Combinator, Abstract
Momentum
15/100
in the news
Last sign of life
this month
a posting or a news item
The story so fareach stage dated by its source: the company's releases, the press, registers, filings
Jun 2020
Went through Y Combinator
Tractionpublic signals, read monthly
Web presence
top 9%
of 133.2M domains by links, Common Crawl
Hacker News stories
3
best: 32 points
Backed byfrom the funds' portfolios and accelerator catalogs
Y Combinator 
Abstract Investors in similar startupsfunds that back the companies most like this one
Similar startupsby what they do, their industry and backers
Modern Life’s intuitive technology and expert team help the country’s top advisors navigate and place life insurance cases faster and…
RealmGuard Technology Resources AI Failure Index Blog News Research Whitepaper Book Demo About Realm Labs was founded by AI researchers…
Platform State of Jest Blog Docs Jest Fund Publish Platform Overview Economics State of Jest Docs Company Blog Team Publish Jest Fund The…
Products Resources Log in Contact sales Why JustiFi T h e f i n a n c i a l l i f e o f y o u r c u s t o m e r s i s m o v i n g i n t o y…
Credo AI is a company founded in 2020 that builds governance software for enterprise artificial intelligence. Its platform registers AI use…
HOME BLOG SUBSCRIBE HOME Log In SIZZLE.GG about A bit about sizzle.gg OUR MISSION MISSION IMPOSSIBLE? NO WAY!
Overview
Formal.ai Use Cases Features Customers Blog Docs Log in Get a demo About Formal Formal's mission is to secure AGI.
News
Your .md File Is Not a Specification: Using Formal Analysis to Find Requirements Gaps
Learn how formal analysis uncovers gaps, ambiguities, and inconsistencies in software requirements and turns them into executable, testable specifications.
Read more
Report
Shopify went back to native. I think the bigger shift is formal verification
Agents have collapsed the cost of building native apps twice. But I think they will also make formal verification the default way software gets written.
Read more
Report
webAI-Official/TwIL-LM3-Pro Hugging Face
We're on a journey to advance and democratize artificial intelligence through open source and open science.
Read more
Report
Vibecheck - the usable formal methods hackathon
Vibecheck: a hackathon on whether formal methods are ready for real-world software. Build a piece of production software and formally verify it. Weekend of November 1, 2026, at TheGP, 447 Battery St, San Francisco.
Read more
Report
Solus Linux Adopts Formal AI and LLM Contribution Policy
Solus Linux now allows AI-assisted code contributions under strict disclosure, testing, and accountability requirements.
Read more
Report
Formal methods can start small
Proof assistants are introduced through their hardest applications, so people assume opening one means a large project. A four-state Agda specification, compiled and used as the test oracle for Go code, shows how small the useful unit has become, and what
Read more
Report
How to avoid the hidden dangers of AI code
Gabriela Moreira, CEO of Quint, explains how catching flaws early can limit AI code nightmares
Read more
Report
Show more news
Offices
Where the company hires and what each office is for
Cities
1
Hiring now
0
Countries
1
San Francisco
United States
HQ