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'm a technology optimist. I’ve spent four decades studying disruptive innovation, from the microprocessor, the internet, mobile phones to OpenAI. I'm certain AI will do 80% of the economically valuable work humans do today, for 80% of all jobs, faster than most believe. The question isn't whether mass underemployment arrives, but whether we have a policy framework ready. Right now we don't.
200+ people for a topic like Formal Verification can only happen in Silicon Valley - @vkhosla opens his fireside talk with this.
This truly validates that automatisation is the next big unlock and a missing piece in current AI systems.
One of the attendee told me the vibe for a technical event seems ‘right’ and ‘positive’ in a few minutes into the event and loved speaker line up and the launch videos.
It was super packed and energy was insanely good at the event.
Everyone left at 11PM and when I say everyone it was PHD students, Researchers, Academicians, Members of technical staffs, Research Engineers & some technical founders.
They are very underserved with the right offline experiences.
We called it a wrap for the launch edition of The Verification Summit with @PramaanaLabs & anchored by @vkhosla who came all the way yo cheer a new AI lab in town and everyone were glued to his conversation.
and thanks to super cool guests who came from different parts of the world.
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 🤩
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
One interesting aspect of how AI produces code (or produces hardware) is that it does not need the abstraction barriers required by humans or organizations. A famous (or infamous) example is the ISA which split the world into software (Microsoft) and hardware (Intel). Now we are in a position to radically rethink the hardware/software boundary, and to some extent erase the difference between hardware and software. When an AI is given a specification of some computation it can now use carefully curated components with formal semantics and proved correct algebraic laws about their composition to produce entirely new systems that are a blend of hardware and software, all produced from one coherent description, with the final result translated into C/Rust or Verilog which is correct by construction, a dream of 80s software research which has now become a practical reality. So AI and verification is going to break down the silos and barriers that have driven up the cost of system design, instead putting hardware/software on a spectrum from which we can pick the point that matches our power, area and performance requirements.
Now we can totally rethink how to do verification. Instead of having a specification and some artifact created somehow and trying to relate the specification to the implementation, we can start with the specification and iteratively refine it, applying proved correct transformations, adding additional detail (pipeline stages, registers, caches etc.) until we have the concrete implementation we desire. There is nothing to prove about this implementation, because it is correct by construction, finally realizing the 80s dream of the Bird-Meertens formalism. Back then we did not have the proof automation to make refinement from specification to implementation practical. Today we do.
I look forward to participating in the Verification Summit (https://t.co/wVitrsgYfq) 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
5 days to go !
14 speakers. One stage. One question: Can we hold AI accountable where it matters the most?
Join the room where AI stops saying 'Sorry'!
It's time to verify AI !
@khoslaventures@PramaanaLabs@boldcapfund
5 days to go !
14 speakers. One stage. One question: Can we hold AI accountable where it matters the most?
Join the room where AI stops saying 'Sorry'!
It's time to verify AI !
@khoslaventures@PramaanaLabs@boldcapfund
Genuinely interesting curation of 1/2 a day of talks on verification and co-generated proof of work for LLMs put together by @khoslaventures and @PramaanaLabs at this 10th June eve, in-person SF event! (and its free!)
Speaker Lineup: @CarinaLHong (@axiommathai ), @evelovesolive (@logic_int), @satnam6502 (@HarmonicMath) amongst others...
Website: https://t.co/vWaDFCKs2B
RSVP: https://t.co/BO9T3Hkwgb
We're looking forward to some incredible discussions here, shaping the next frontier of AI.
Join the room where AI stops saying 'Sorry' !
It's time to verify AI !
@khoslaventures@vkhosla@boldcapfund
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
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.
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
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
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