Desargues
Training data for verified reasoning
The future of reliable AI is formal. Models will only be trusted with critical work when their reasoning can be verified. We build environments and evaluations that teach them to write correct, high-quality formal code, starting with Lean.
We believe formal verification is the path to reliable AI in domains where mistakes are unacceptable: mathematics, software and smart contracts, engineering (hardware, aerospace), and trading.