ranjan_raj

Entrepreneur

[ranjan_raj @ranjan_vittal]

Don't miss out on all the action happening on June 10th in SF! 🚀

Join the room where AI stops saying 'Sorry'!
It's time to verify AI.

@fv_summit @vkhosla @khoslaventures @PramaanaLabs @boldcapfund

[ranjan_raj @ranjan_vittal]

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.

[ranjan_raj @ranjan_vittal]

It was a great conversation! Thanks to @tbpn for hosting me.

[TBPN @tbpn]

Happy Wednesday. On today's show:

- @vkhosla (Khosla Ventures)
- @eastdakota (Cloudflare)
- @RamaswmySridhar (Snowflake)
- @btaylor (Sierra)
- @FarzaTV (Clicky)
- @trentsimonian (Sidetalk)
- @markiewagner (Poetic)
- Ranjan Rajagopalan (Pramaana Labs)

See you on the stream.

[Krishnan Raghavan @krishnan_rag]

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!

[Vinod Khosla @vkhosla]

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.

[Siddharth Ram @siddharth_ram]

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.

[Eve Bodnia @evelovesolive]

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 FV Summit @fv_summit]

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

[Satnam Singh @satnam6502]

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.

[Marco Pavone @drmapavone]

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

[The FV Summit @fv_summit]

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

[ranjan_raj @ranjan_vittal]

Founders shipping AI into the real world, we've built this room for you.

5 days to go !
Join us on June 10th in SF.

@fv_summit @PramaanaLabs @khoslaventures @boldcapfund

[The FV Summit @fv_summit]

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

[A.J. Kirsch @AJKirsch]

JUST BOOKED:

I’ll be host and MC for the @fv_summit next Wednesday in San Francisco!

Info: https://t.co/2iRNR5EnMc
RSVP: https://t.co/3nnNkK2e2h

[Varun Gangal @VarunGangal]

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

[Pramaana Labs @PramaanaLabs]

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

[Ajay Krishna Amudan @ajkrish95]

Verifying work is where the future is headed - trusting AI without verification doesn’t scale.

[Siddharth Ram @siddharth_ram]

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

[Siddharth Ram @siddharth_ram]

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.

[Siddharth Ram @siddharth_ram]

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

[Satnam Singh @satnam6502]

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

[The FV Summit @fv_summit]

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