The FV Summit

The Verification Summit exists to bring those two worlds into the same room, researchers working on the formal side, founders and operators trying to deploy AI

[The FV Summit @fv_summit]

Join the room where AI stops saying 'Sorry' !

Hear from the industry's best minds speak on the problem and possibilities of verification in AI.

It's time to verify AI !

@khoslaventures @PramaanaLabs @boldcapfund

[The FV Summit @fv_summit]

@khoslaventures @PramaanaLabs @boldcapfund Website: https://t.co/vO0DRkJ7Z9
RSVP: https://t.co/tLpVpfFJJY

[The FV Summit @fv_summit]

Join the room where AI stops saying 'Sorry' !

Hear from the industry's best minds speak on the problem and possibilities of verification in AI.

It's time to verify AI !

@khoslaventures @PramaanaLabs @boldcapfund

[Siddharth Ram @siddharth_ram]

8 days to go for The Verification Summit in SFO.

As a math lover, I am very excited to hear him speak at the summit

Next up: @satnam6502 Satnam Singh from @HarmonicMath

He works at that rare intersection where silicon, proofs, and programs all have to agree.

From theorem provers to hardware verification to secure systems, this is exactly the kind of operator we wanted in the room full of believers in Auto-formalisation.

If you are interested in formal verification & math in AI, come hear him speak at the @fv_summit on June 10, SFO

AI + Proof

[Siddharth Ram @siddharth_ram]

8 Days To Go for the Verification Summit @fv_summit, and I am excited to drop our next speaker with you, @evelovesolive, founder of @logic_int and another big force in the Formal Verification ecosystem.

In our mission to bring leaders working on Verifying AI,

Eve's goal with Logical Intelligence is to build a deterministic AI for software and hardware correctness

We are excited to host her, along with @PramaanaLabs, at the Verification Summit on June 10.

[Siddharth Ram @siddharth_ram]

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

[Siddharth Ram @siddharth_ram]

Any new disruption begins with very few people passionately building it and then comes a believer of such non obvious opportunities with utmost conviction and shifts the orbit completely towards obvious

These are not just venture investors, they are orbit shifters and we have one such believer of an emerging opportunity wave called ‘Auto Formalisation’. He was early to the transformer wave & TCP wave back in the day.

@vkhosla believes Auto formalisation will solve a huge trust & accountability gap that exists in AI today

We are glad to announce that he will be anchoring the launch edition of @fv_summit on June 10, hosted by @PramaanaLabs with his thesis, views & ideas of the plausible future with formal verification in AI.

10 Days To Go !! RSVP Now

[The FV Summit @fv_summit]

@PramaanaLabs @boldcapfund Website: https://t.co/vO0DRkJ7Z9
RSVP: https://t.co/tLpVpfFJJY

[The FV Summit @fv_summit]

Outputs that sound right are not the same as outputs we can prove right.
The next phase of AI runs on verified systems: formal methods, theorem provers, runtime checks, provable agents.

It's time to verify AI !
Join us on the 10th of June at SF !

@PramaanaLabs @boldcapfund

[Satnam Singh @satnam6502]

I'll be a panelist at The Verification Summit in San Francisco on Wednesday 10 June. I'll be promoting my view of how we can use AI theorem provers like @Harmonic's Aristotle to synthesize correct by construction hardware without hallucination. There is also an impressive list of other panelists and speakers that I am looking forward to learning from and meeting. https://t.co/IXrDc3rWRi

[Vinod Khosla @vkhosla]

I think this will turn out to be a very important area. Founders should work on things AI is not good at.

[Sathya @sathyanellore]

Autoformalization is the next critical frontier unlock to get us to ASI!! We are excited to co-host the inaugural verification summit with @PramaanaLabs and @vkhosla on June 10th. If you are a researcher, founder or investor interested in the frontier you should be here. @boldcapfund

[The FV Summit @fv_summit]

We are hosting the launch edition of verification summit.

A technical-first gathering for engineers, founders, researchers and practitioners building verified AI & formalization for real world domains.

Apply: https://t.co/o7N6xUQMEw
https://t.co/GxmlDsYrAY
Q.E.D.