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