10 days left to co-host the launch edition of Verification Summit in SFO along with @PramaanaLabs

It’s time for AI to stop saying Sorry and time to Verify AI

Dropping one of our key speakers of the summit to all of you.

Welcoming @CarinaLHong from @axiommathai to the verification summit.

She is building a math reasoning engine applied to formal verification and will be at the summit sharing her views on Auto Formalisation and the need of verified AI