Excited for the panel with @satnam6502 @CarinaLHong @SriramRajamani @krishnan_rag at @fv_summit!

Questions wrt Verifiable AI:

Verify the output, or make it correct by construction?

Retrofit legacy systems or rebuild?

Prove complex math or messy real world?

cc @PramaanaLabs @khoslaventures