We're a small contractor bridging the cultures between AI and formal methods, motivated by threat models in which AI capabilities don't stop going up.

Step one is evals and RL environments in proof engineering, for defensive acceleration reasons.

We should use formal methods to buy last minute slices of swiss cheese, especially in critical infrastructure.

What we do (public facing)

Papers

Comms/movement stuff

Organizations

Let us know how we can help

quinn@for-all.dev

smbc swisscheese-knight