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

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.

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!

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 🤩

The inaugural @fv_summit really Leaned into banning AI hallucinations. #software #math #AI #Lean

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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