Forall R&D is responsible for helping AI safety businesses and nonprofits navigate the formal methods explosion.

What we do (public facing)

Papers

• (Forthcoming) FVSpec
• A benchmark for vericoding: formally verified program synthesis
• Proving the Coding Interview: A Benchmark for Formally Verified Code Generation

Comms/movement stuff

• Tractable Problems in AI Security via Formal Methods
• Can we secure AI with formal methods?
• FMxAI 2025
• Cookbook
• DC AI Security Reading Group
• Cruxes for AI Control via Proof Carrying Code

Organizations

• Beneficial AI Foundation (BAIF)
• Galois - Contracting on ARIA's Mathematics for Safe AI program
• Lucid Computing

Let us know how we can help

quinn@for-all.dev