Cajal
Scaling formal verification to accelerate scientific discovery
What they do
Scientific and high-stakes industries struggle to trust and validate complex mathematical tools and AI-generated results, slowing discovery and deployment.
Cajal uses Lean-based formal verification and AI “mathematicians” to generate and formally prove mathematical results and tools for applied domains like quantum computing and finance.
Researchers and teams in quantum computing and finance who need mathematically verified models, algorithms, or proofs.
Founders
Working on formal verification and AI.
Working on formal verification and AI at Cajal (W26). Background in machine learning and neuroscience at research labs in Oxford/Cambridge/UCL. Learn more at https://caj.al/ and feel free to get in touch at luke@caj.al
Company timeline
- Founded2025
- YC batchWinter 2026
- StatusActive
- Team size2 people
- LocationSan Francisco, CA, USA
Similar startups
