Verification Summit In SFO Spotlights Verified AI And Auto Formalisation