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