Cajal
Scaling formal verification to accelerate scientific discovery
Community-submitted · content unverified. This organization has not verified ownership or the information in this profile.
About
Cajal (YC W26) is massively scaling formal verification to accelerate scientific discovery. We deploy superhuman AI mathematicians to high-impact applied domains, starting with quantum computing and finance. We do this with Lean - a framework that allows us to formally verify any mathematical statement, grounding AI in truth and validating the tools discovered by our systems. Cajal is a Y Combinator company (Winter 2026). YC-listed status: Active.
- Website
- caj.al
- Location
- San Francisco, CA, USA
- Added via
- web
- Ownership
- unclaimed
Where to go
Products
- Tau — Formal verification tool that proves compiled software is correct down to the machine level. · Developer Tool
Links
- Y Combinator profileycombinator