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 🤩
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
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
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
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.
@AalokDThakkar Thanks @AalokDThakkar! Was great presenting this and enjoyed our conversations. Lots of interesting challenges at the intersection of PL, AI, and Law!
Using Lean 4 to identify contradictions in laws.
Very exciting work by Pramaana Labs https://t.co/zl239Thp7L. They have build a DSL called LegalLean to formalise US tax codes.
Had fun presenting at the @OpenAI demo party hosted by Boldcap.
Shared a sneak peek into our work on verification - the key missing piece to unlocking ASI across all domains. More soon :)
Appreciate the fantastic organization, @siddharth_ram !
The human drive to write less code breeds elegant code design abstractions. We hate typing so much it forced us to be geniuses.
LLMs don't have wrists. They are aggressively eager, happily churning out endless walls of duplicated spaghetti code just to feel alive.
Please stop telling AI to work harder. We need to teach it how to slack off!
We need to more mission driver founders in India to solve population scale problems. Never a better time for these founders to solve these problems with AI.