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

Joined April 2026
19 Photos and videos
Pinned Tweet
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
4
12
45
4,190
The FV Summit retweeted
Reflecting on our event - @fv_summit Every moment of this event on the 10th of June, has been a deeply humbling experience for me. Right from our event being over-subscribed on Luma for it's very first edition, to sitting across from Vinod for the fireside, to seeing 200 people fill up the venue despite being a working day, to having marquee speakers on stage sharing a common vision, to the deeply technical and profound discussions at the panel, to the passionate networking conversations going on late till 11pm. All of these have been very reassuring for us, and we're committed to further the cause of Verification in AI. Thanks to @vkhosla for his dedication to the event and setting the tone for the evening. Thanks to every speaker who flew in, and thanks to every attendee who could join us. Thank you to my co-founders, our team at @PramaanaLabs; @khoslaventures and @BoldCap for being in this with us. This is just the beginning. It's time to verify AI.
4
9
114
The FV Summit retweeted
Had a blast on a panel yesterday discussing areas where verification is becoming mainstream. A clear point of consensus? Writing a spec is hard! I made the case for why we urgently need to solve two interconnected problems: 1️⃣ Domain Formalization: Creating a precise, symbolic vocabulary for domains so we stop building on shifting sand. 2️⃣ Autoformalization: Translating messy, vague human intent into correct technical specs automatically and accurately! For complex, real-world domains like tax, solving this frontend spec bottleneck is the most critical hurdle to unlocking widespread verification. That’s exactly what we’re building at @PramaanaLabs . 🚀 Shoutout to fellow panelists @KanuGulati, @SriramRajamani, @satnam6502, and @CarinaLHong for the sharp debate!
7
10
317
The FV Summit retweeted
I am grateful to everyone behind @fv_summit for their efforts in advancing education and fostering discussions about the value of formal verification for mission-critical industries. Vinod Khosla (@vkhosla) has the sharpest intuition in business. In fact, he was the person who encouraged our team a year ago to pursue verified code generation as a use case for LI and to focus on value rather than numbers. Vinod predicted that formal verification would become a major force and eventually the industry standard long before anyone else, even before MathxAI Labs existed. Today, we have a vibrant formal verification community of builders spanning fields from legal workflows to scientific discovery. I also want to sincerely thank @PramaanaLabs and @khoslaventures for doing such a fantastic job bringing all of us together in one room and creating an environment where we can grow, collaborate, and learn from one another. And finally, the choice of a book for the goodie bag about Ramanujan made my evening 🤩
2
7
29
1,683
The FV Summit retweeted
The inaugural @fv_summit really Leaned into banning AI hallucinations. #software #math #AI #Lean
1
7
92
Speaker drop (14/14): Last but not least, the Co-founder and CEO of Pramaana Labs ushering everyone into the era of verified AI: @ranjan_vittal See you all at SF, on 10th June ! It's time to verify AI! @PramaanaLabs @khoslaventures @boldcapfund
5
5
405
Speaker drop (13/14): Pramaana co-founder, in the room he helped build: @krishnan_rag See you all at SF, on 10th June ! It's time to verify AI! @PramaanaLabs @khoslaventures @boldcapfund
1
6
194
Speaker drop (12/14): Pramaana co-founder, joining the panel with his deep expertise in frontier-LLM models and verification: @sanjaygsub See you all at SF, on 10th June ! It's time to verify AI! @PramaanaLabs @khoslaventures @boldcapfund
5
11
326
Speaker drop (11/14): Bringing the DeepMind voice into the room: @DjDvij See you all at SF, on 10th June ! It's time to verify AI! @PramaanaLabs @khoslaventures @boldcapfund
2
8
209
Tomorrow. The countdown ends. The conversation begins. 14 speakers. One stage. The room where AI stops saying 'Sorry' opens at 4 PM. It's time to verify AI! Wed, Jun 10 · Chorus Theatre, San Francisco
1
2
9
197
Speaker drop (10/14): Khosla Ventures partner, backing many of the founders sharing this vision, moderating our first panel: @KanuGulati See you all at SF, on 10th June ! It's time to verify AI! @PramaanaLabs @khoslaventures @boldcapfund
7
2,176
Speaker drop (9/14): Bringing UC Berkeley's verification heritage to the AI moment: Sanjit Seshia, UC Berkeley See you all at SF, on 10th June ! It's time to verify AI! @PramaanaLabs @khoslaventures @boldcapfund
1
8
225
Speaker drop (8/14): Our first institutional investor, moderating one of our marquee panels: @sathyanellore See you all at SF, on 10th June ! It's time to verify AI! @PramaanaLabs @khoslaventures @boldcapfund
2
7
291
Speaker drop (7/14): Coq committer, putting proofs into the AI loop: Jason Gross from Theorem Labs See you all at SF, on 10th June ! It's time to verify AI! @PramaanaLabs @khoslaventures @boldcapfund
1
8
200
Speaker drop (6/14): Joining us on stage from Logical Intelligence: @evelovesolive See you all at SF, on 10th June ! It's time to verify AI! @PramaanaLabs @khoslaventures @boldcapfund
1
5
172
Speaker drop (5/14): Teaching machines to prove math: @CarinaLHong See you all at SF, on 10th June ! It's time to verify AI! @PramaanaLabs @khoslaventures @boldcapfund
1
3
22
2,078
Speaker drop (4/14): Joining us on the panel from Harmonic: @satnam6502 See you all at SF, on 10th June ! It's time to verify AI! @PramaanaLabs @khoslaventures @boldcapfund
3
12
6,146
Speaker drop (3/14): Where autonomy meets formal proof: @drmapavone See you all at SF, on 10th June ! It's time to verify AI ! @PramaanaLabs @khoslaventures @boldcapfund
1
8
291
Speaker drop (2/14): Two decades of shaping the PL × AI agenda at Microsoft: @SriramRajamani See you all at SF, on 10th June ! It's time to verify AI ! @PramaanaLabs @khoslaventures @boldcapfund
4
10
361
Speaker drop (1/14): The man himself, anchoring this entire event — @vkhosla See you all at SF, on 10th June ! It's time to verify AI! @khoslaventures @PramaanaLabs @boldcapfund
4
9
281
The FV Summit retweeted
I look forward to participating in the Verification Summit (verificationsummit.ai/) and sharing my perspective on Physical AI safety. I strongly agree that verification and validation are key frontiers for unlocking Physical AI in high-stakes, high-reliability applications, from autonomous cars to industrial robotics! @fv_summit @khoslaventures @PramaanaLabs @boldcapfund
I think this will turn out to be a very important area. Founders should work on things AI is not good at.
7
25
3,929