Desargues
Formal verification at the scale of AI.
We’re building infrastructure to scale formal verification across software, hardware, physical AI, AI safety, GPU kernels, and quantitative finance.
As AI builds and changes critical systems, the properties we depend on should be mathematically proved.
Models are getting better at theorem proving. But translating real-world requirements into precise specifications—and producing formal code people can reuse and maintain—remains a bottleneck.
Our goal is to make formal verification practical, economical, and understandable to humans.
We’re starting with formal methods in physical AI.