%20by%20%E2%80%9EDiceBear%E2%80%9D%2C%20licensed%20under%20%E2%80%9ECC0%201.0%E2%80%9D%20(https%3A%2F%2Fcreativecommons.org%2Fpublicdomain%2Fzero%2F1.0%2F)%3C%2Fdc%3Arights%3E%3C%2Frdf%3ADescription%3E%3C%2Frdf%3ARDF%3E%3C%2Fmetadata%3E%3Cmask%20id%3D%22viewboxMask%22%3E%3Crect%20width%3D%22100%22%20height%3D%22100%22%20rx%3D%220%22%20ry%3D%220%22%20x%3D%220%22%20y%3D%220%22%20fill%3D%22%23fff%22%20%2F%3E%3C%2Fmask%3E%3Cg%20mask%3D%22url(%23viewboxMask)%22%3E%3Crect%20fill%3D%22%230a5b83%22%20width%3D%22100%22%20height%3D%22100%22%20x%3D%220%22%20y%3D%220%22%20%2F%3E%3Cg%20transform%3D%22matrix(1.2%200%200%201.2%20-10%20-10)%22%3E%3Cg%20transform%3D%22translate(21%2C%2016)%20rotate(37%2050%2050)%22%3E%3Cpath%20d%3D%22m50%207%2050%2086.6H0L50%207Z%22%20fill%3D%22%23f1f4dc%22%2F%3E%3C%2Fg%3E%3C%2Fg%3E%3Cg%20transform%3D%22matrix(.8%200%200%20.8%2010%2010)%22%3E%3Cg%20transform%3D%22translate(-2%2C%204)%20rotate(-79%2050%2050)%22%3E%3Cpath%20d%3D%22m50%207%2050%2086.6H0L50%207Z%22%20fill%3D%22%2369d2e7%22%2F%3E%3C%2Fg%3E%3C%2Fg%3E%3Cg%20transform%3D%22matrix(.4%200%200%20.4%2030%2030)%22%3E%3Cg%20transform%3D%22translate(18%2C%20-11)%20rotate(-22%2050%2050)%22%3E%3Cpath%20fill%3D%22%23f88c49%22%20d%3D%22M45-150h10v400H45z%22%2F%3E%3C%2Fg%3E%3C%2Fg%3E%3C%2Fg%3E%3C%2Fsvg%3E)
Scaling formal verification to accelerate scientific discovery
Scaling formal verification to accelerate scientific discovery
San Francisco, California, United States
Stage
Pre-seed
Industry
Saas
Founded
2026
Team Size
1-10 people
Loading metrics...
Imported from Y Combinator — founder information not yet verified
More Details Coming Soon
Team members, projects, and updates from Cajal will appear here.