Cajal logo

Cajal

Scaling formal verification to accelerate scientific discovery
San Francisco , US
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.
  • Projects
  • Team
  • Jobs
  • News
No projects yet.

This company hasn't published any projects. Be the first to launch one!

Create Your First Project
Founded2025
Team Size2
LocationUS
Websitecaj.al/
🏳️
Is this your company?

Claim this listing to manage your profile, add updates, and connect with your audience.

Claim This Listing