Naka-pin na 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
English
The FV Summit
43 posts
The FV Summit
@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
San Francisco, CA Sumali Nisan 2026
78 Sinusundan147 Mga Tagasunod
The FV Summit nag-retweet
Sridhar Vembu received the distinguished alum award at IIT Madras in 2016, the year I graduated. I distinctly remember seeing him for the first time, giving a talk on entrepreneurship to our graduating CS batch.
A decade on, to hear him give a shout out to @PramaanaLabs and our thesis on national TV is definitely a goosebumps moment! Thank you @svembu 🙏 Let's bring efficient, verified intelligence to the world!
Republic@republic
#RepublicSummit2026 |Sridhar Vembu (@svembu), Co-founder & Chief Scientist, Zoho sheds light on what happens to jobs as software productivity keeps increasing. From promise to proof. From aspiration to execution. #RepublicSummit2026 brings together the biggest names in power, policy and progress to discuss India's emergence as a global shaping force. Nation First. Always. WATCH LIVE: youtube.com/live/c_OEQhm9G… #GreatPowerIndia #RepublicSummit2026 #NationFirst #ArnabGoswami Presented By: RP-Sanjiv Goenka Group (@rpsggroup)| Co-Presented By: ZOHO (@Zoho) & TVS Motor Company(@tvsmotorcompany) | Powered By: Sister Nivedita University(@snuindia) | Co-Powered By: Kalyani (@kssldefence) & Bharat Forge Ltd (@BharatForgeLtd), Samtel Avionics (@SamtelAvionics), Ravin Group(@Ravingroup) and MeghaShrey(@sseemasinghh), Ease My Trip (@EaseMyTrip) | State Partners: UP Govt(@UPGovt), Haryana Govt(@DiprHaryana), Andhra Pradesh Govt(@IPR_AP), Uttarakhand Govt(@ukcmo) and Assam Govt | Housing Partner: Gaurs Group(@Gaurs_Official) | Prayer Partner: Cycle Agarbatti | Skincare Partner: Dr Rashel(@drrashelindia) | Knowledge Partner: Shardha University(@sharda_uni) | Stainless Partner: Jindal Stainless(@Jindal_Official) | Vision Partner: Alcon | Special Partners: Sanskriti University, Gallantt Group (@Gallantt_Group), Pan Bahar(@PanBaharElaichi), Krishna's Ayurveda(@HerbalKrishna), BackBay, Wagh Bakri(@waghbakri), Ferns N Petals, Nandini and Mysore Sandals | Celebration Partner: Allied blenders and distillers(@ABDL_India)
English
The FV Summit nag-retweet
Thanks for the shout out @svembu let's bring verifiable super intelligence to the world!
Republic@republic
#RepublicSummit2026 |Sridhar Vembu (@svembu), Co-founder & Chief Scientist, Zoho sheds light on what happens to jobs as software productivity keeps increasing. From promise to proof. From aspiration to execution. #RepublicSummit2026 brings together the biggest names in power, policy and progress to discuss India's emergence as a global shaping force. Nation First. Always. WATCH LIVE: youtube.com/live/c_OEQhm9G… #GreatPowerIndia #RepublicSummit2026 #NationFirst #ArnabGoswami Presented By: RP-Sanjiv Goenka Group (@rpsggroup)| Co-Presented By: ZOHO (@Zoho) & TVS Motor Company(@tvsmotorcompany) | Powered By: Sister Nivedita University(@snuindia) | Co-Powered By: Kalyani (@kssldefence) & Bharat Forge Ltd (@BharatForgeLtd), Samtel Avionics (@SamtelAvionics), Ravin Group(@Ravingroup) and MeghaShrey(@sseemasinghh), Ease My Trip (@EaseMyTrip) | State Partners: UP Govt(@UPGovt), Haryana Govt(@DiprHaryana), Andhra Pradesh Govt(@IPR_AP), Uttarakhand Govt(@ukcmo) and Assam Govt | Housing Partner: Gaurs Group(@Gaurs_Official) | Prayer Partner: Cycle Agarbatti | Skincare Partner: Dr Rashel(@drrashelindia) | Knowledge Partner: Shardha University(@sharda_uni) | Stainless Partner: Jindal Stainless(@Jindal_Official) | Vision Partner: Alcon | Special Partners: Sanskriti University, Gallantt Group (@Gallantt_Group), Pan Bahar(@PanBaharElaichi), Krishna's Ayurveda(@HerbalKrishna), BackBay, Wagh Bakri(@waghbakri), Ferns N Petals, Nandini and Mysore Sandals | Celebration Partner: Allied blenders and distillers(@ABDL_India)
English
The FV Summit nag-retweet
Auto formalization will be an important new area.
ranjan_raj@ranjan_vittal
Today, I'm thrilled to announce Pramaana's $27M seed, led by @khoslaventures. The foundational domains that hold the world together: tax, law, finance, healthcare; all run on certainty. Probabilistic AI can't give them that. We’ve been asked to accept wrong answers with AI as ‘hallucinations’, while in traditional software terms, it’s just a bug. And a wrong answer in such mission-critical domains is more than just a bug, it's a liability that could have catastrophic impact. We built Pramaana to deliver a 100% trustable experience to the domains that run on certainty: AI that is provably correct, not probabilistically correct. We turn statute and regulation into machine-verifiable code, so every output ships with mathematical proof of correctness. Our mission is to make AI take ownership of it’s work. Pramaana in Sanskrit stands for “means of valid knowledge”, and we’re going to achieve that by formalizing the world’s knowledge.
English
@vkhosla @khoslaventures @boldcapfund (3/3)
The energy in the room was electric. This community is hungry for real offline experiences, that is loud and clear.
At @PramaanaLabs, we're committed to doing our part to serve this community and keep this room alive.
It’s time to verify AI.
English
(2/3)
Thanks to @vkhosla for his thought-leadership around AI-verification and emphasis on auto-formalization. Massive thanks to every speaker & attendee who contributed to the event's success. Thanks to @khoslaventures and @boldcapfund for supporting us in this endeavor.
English
You know an event has landed when 200+ researchers, verification engineers, founders and investors stay in their seats from 4 PM to 11 PM on a Wednesday,
for a conversation about formal verification.
This is one of those things that happen only at SF !
(1/3)
English
The FV Summit nag-retweet
Last week I joined a panel on the frontiers of AI × Verification at the @fv_summit, with @evelovesolive, @diagram_chaser, @DjDvij and @sathyanellore .
From researching the jagged frontier of Gemini's capabilities, one thing was clear: Verifiability is the bottleneck to superhuman AI on any class of tasks. And verification needs rigorous specification.
The catch: rigorous specification doesn't come naturally to us. We run on intuition — and intuition can generate an answer, but it can't certify one. Yet certainty is exactly what high-stakes work needs to stay reliable and compound. And frontier models won't learn that rigor from human data.
At @PramaanaLabs, we're teaching it directly: pairing AI with a formal specification language and training on machine-checkable rewards.
English
The FV Summit nag-retweet
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.
English
@evelovesolive @vkhosla @evelovesolive - Thanks for the warm note, Eve.
Your words are proof that there is a lot of work to be done in this space; having people like you on the stage supporting this cause made the room what it was.
Looking forward to collaborate with you further in future.
English
The FV Summit nag-retweet
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 🤩
English
The FV Summit nag-retweet
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!
English
The FV Summit nag-retweet
English
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
English
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
English
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
English
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
English
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
English
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
English
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
English
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
English