Angehefteter Tweet
Krishnan Raghavan
44 posts
Krishnan Raghavan
@krishnan_rag
Reliable, Robust, Repeatable Intelligence Co-founder and CTO, Pramaana Labs https://t.co/PGuCpZy3Rc
Bengaluru Beigetreten Nisan 2024
42 Folgt609 Follower
Thank you very much for the shoutout @svembu! This means a lot and we have been going deep and building domain-specific programming languages to capture strict nuances in areas like law and tax. Exciting times ahead!
PS: I was sitting right next to @sanjaygsub during your inspiring talk at IITM :)
Sridhar Vembu@svembu
We have been working on structural type systems and verifiable code. Best wishes to Pramaana Labs team! I am very happy to see cutting edge R&D in India. Using these approaches, I believe far more efficient as well as highly reliable AI systems are possible. That is also why I fundamentally don't agree with the trillion dollar bets being made but that is a separate topic.
English
@VarunGangal @ranjan_vittal @sanjaygsub Thanks for the kind words, @VarunGangal - we operate on the thesis that finding the right precise question is harder and more important than attempting to answer eagerly, hence our deep focus on formalization!
English
Huge congrats to @ranjan_vittal , @krishnan_rag and @sanjaygsub on emerging out of stealth with a bang!
It's been a genuine treat to've known and seen the trio in concerted action first in person and then afar past 12 years, right from office hour discussions for CS electives such as Distributed Algos and RL during our @iitmcse days, through their shared Google days and all the way down to early threads w.r.t @PramaanaLabs sharing their nuggets on miniF2F benchmarking, to their recently putting together and co-hosting the @fv_summit in SF.
Having worked on hallucinations both in production systems I contributed to as well as in my research, these as well as related misbehaviors such as sycophancy etc are a major sore to use of LLMs in many domains since they violate the implicit contracts and conventions b/w actors exchanging artifacts, be they agents or users, that the domain heavily relies on as a primitives for its existence.
Yet the basic machinery to even be able to define and detect them clearly is oft missing outside settings with well-defined dynamics such as code, math & games.
Extending Lean and adjacent means of auto-formalization for these domains, as well as then co-generating such means with outputs, i.e. "both the work and the proof of work" during inference are both pressing sub-threads to tackle and its heartening to see these being taken up by them.
The trio's attention to detail and fine taste clearly shines through even in harmoniously apt choice of name, Pramaana , the canonical term for means of evidence in Indic philosophy and epistemics!!
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
English
Heartfelt congratulations to my dear friends @ranjan_vittal, @krishnan_rag, and @sanjaygsub on the remarkable work they are doing on the formalization and verification of large language model outputs.
Having known all three since our undergraduate days, I can say with complete conviction that if anyone in the world is positioned to solve this important problem, it is them. Few people bring such relentless focus and genuine passion to every challenge they take on.
I have no doubt that @PramaanaLabs will succeed in this endeavour — and in doing so, help take humanity to new heights.
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
@ranjan_vittal is one of the most intensely driven, agentic, and helpful people out there. He leaves zero stones unturned for Pramaana Labs—gladly trading personal comfort to grind through the most grueling, unglamorous work if it gives us even a 1% edge. His helpfulness makes people genuinely root for his success.
He is undeniably brilliant and solves problems faster than anyone I know. I’ve seen this firsthand on multiple occasions, whether cracking math problems at IMOTC or making moves in our blind chess games!
Super-pumped to be building Pramaana Labs with him! 🚀
English
@TechCrunch @vkhosla @Accel @boldcapfund @NexusVP @PremjiInvest @pushmeet @SriramRajamani And we're just getting started!
If this is a problem you're passionate about solving, come build with us!
Say 'no' to hallucinations!
pramaanalabs.ai
English
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
@sanjaygsub and I have been friends for more than half our lives. :)
Sanjay is calm, optimistic, and relentlessly diligent. He has a quiet conviction that tunes out the industry noise / hype and delivers results - exactly what he did when helping take Gemini from a late entrant to a formidable leader in the AI space.
Now, he’s bringing that exact same focus to our shared mission: building the next wave of foundational LLMs to reason with the absolute rigor of top researchers. It’s time for AI that is actually right, not just sounding right.
Sanjay Ganapathy@sanjaygsub
Nine years at Google, three on Gemini at DeepMind, working on post-training with people I'd follow anywhere. Close enough to scale to see how far it goes, and where it stops. Today's AI is remarkable, but jagged: it hallucinates fluently. In high-stakes domains like healthcare, legal, or finance, a confident mistake is worthless. Right as I was wrestling with this, @krishnan_rag , @ranjan_vittal and I converged on a wild idea: AI that proves its own work. Proofs, not disclaimers. So I left. Nine months later, at Pramaana Labs, we're building it: a cracked team training foundation models to formalize human knowledge on a scale hitherto undreamt of, and bring formally verified AI to the real world. A future where AI is provably correct, not just probably.
English
Great to partner with @PerplexityFund! They believed in us from our earliest days, right as the foundational idea for Pramaana was first taking shape. Thrilled to have them on this journey with us!
Perplexity Fund@PerplexityFund
Not many launch videos are this inspiring-- feeling like the future is getting brighter thanks to @ranjan_vittal and team's formal AI verification for real-world domains. Congrats to @PramaanaLabs on the seed raise! Proud to back such a visionary team.
English
Can't stress enough the incredible backing and support @sathyanellore and his team, @vansht567 & @siddharth_ram, have given us. They went from being our earliest VC and acting as a sounding board from day one, to going out of their way to evangelize our mission and excite candidates. They even helped organize our recent verification summit! A truly amazing fund anyone would be lucky to be backed by.
BoldCap AI Fund@boldcapfund
Announcing our investment into @PramaanaLabs, an AI Lab for Formal Verification to formalise real world domains like tax, legal, healthcare & other mission critical domains where truth matters Congrats @ranjan_vittal @krishnan_rag @sanjaygsub Let’s Build On Large Dreams
English
@b_jishnu has been one of our earliest backers, helping us refine our vision, make critical connections, and plan from day one! It is truly amazing to be working with @b_jishnu , @746watt, and the entire @NexusVP team!
Nexus Venture Partners@NexusVP
Nexus is proud to back @PramaanaLabs in their $27M seed round! Congratulations @ranjan_vittal, @sanjaygsub, Krishnan Raghavan & team! @b_jishnu | @746watt
English
@KanuGulati has been an amazing partner from day 1! From helping with critical hiring and connections to providing thoughtful guidance across our operations, her support has been invaluable. We are so lucky to have @KanuGulati and @khoslaventures backing us!
Kanu Gulati @Khosla Ventures@KanuGulati
We are thrilled to back @PramaanaLabs! As AI takes on more important work, trust can’t depend on a human checking every answer. Pramaana is building the capability to make AI outputs verifiable by design; this is a BIG step toward safer, more capable, and more useful AI. And with the right leadership in @ranjan_vittal, @krishnan_rag, @sanjaygsub and team @PramaanaLabs cc @khoslaventures @vkhosla
English
100% - couldn't agree more! Grateful he showed up and shared his unique and deeply insightful thoughts on this space - the event received immensely positive feedback!
ranjan_raj@ranjan_vittal
Last week @vkhosla anchored our summit. Injured, when stepping back would've been expected, he showed up and turned it into an example of how verification can transform healthcare. The conviction he brings to every founder, no matter how small the company, is humbling. The GOAT.
English
Thank you, @vkhosla! We are incredibly lucky to have you on board. Your early encouragement and clarity of thought have been truly inspirational for us @PramaanaLabs. We are excited to pioneer this new area of auto formalization alongside @khoslaventures!
Vinod Khosla@vkhosla
Auto formalization will be an important new area.
English
English
Love this! @krishnan_rag and I worked together in @Google and I’ve observed first hand his obsession towards solving problems. He would literally have dreams about solving user trust, and I knew back then he was built different.
Krishnan Raghavan@krishnan_rag
English
Building the Compiler for the real world requires partners who deeply understand both deep tech and operational scale. Proud to be working alongside the exceptional team at Accel!
Accel in India@AccelIndia
In tax, law, finance, government, and healthcare, AI still cannot guarantee its answers are correct. A doctor still reads the diagnosis. A lawyer still checks the contract. A tax accountant still signs the return. Not because AI cannot produce an answer, but because when it is wrong in a high-stakes domain, it cannot be held responsible. That is AI's accountability gap. And @PramaanaLabs is building the fix. Pramaana applies formal verification to these domains at scale, converting complex knowledge like tax codes, clinical protocols, and financial regulations into a formal language that machines can reason over with mathematical certainty. The system either returns a machine-checkable proof that an answer is correct or shows exactly where the reasoning breaks. If it cannot prove an answer, it will not provide one. What makes this particularly compelling is the team's proximity to the problem. Ranjan Rajagopalan (@ranjan_vittal), Krishnan Raghavan (@krishnan_rag), and Sanjay Ganapathy Subramaniam spent years building AI systems at Google Maps, Glean, and Google DeepMind, confronting firsthand the challenges of accuracy, reliability, and trust that they are now setting out to solve. Partnering with Pramaana Labs to take AI from probably right to provably right. @prashanthp • @anagh_prasad • #AccelFamily
English
The future of AI isn't probabilistic; it's provable. This is the ultimate unlock for bringing reliable ASI to the real world.
Thrilled to announce our latest funding round for Pramaana Labs. We're building the Compiler for the real world and bringing mathematical rigor to AI - say no to hallucinations!
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
Recent policy debates point to a structural issue: we are treating AI alignment as an observational science, not an engineering discipline.
The root causes?
🔹 Intent and law are written in prose, not code. There is only a vague translation between policy paragraphs and execution.
🔹 Current guardrails are the equivalent of putting a sticker on a dashboard asking a driver politely not to speed. A jailbreak is simply proof that this statistical politeness is a fragile illusion.
This means that today's models are like unchanneled combustion: immense energy and useful, but unpredictable and breeds chaos with scale. You don't launch a starship by letting fuel burn in the open, you build a precision engine!
That is exactly what we are building at @PramaanaLabs. We are pioneering the next wave of provably correct LLMs by bringing formal verification to generative AI - making alignment guaranteed by construction!
English
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
Krishnan Raghavan retweetet
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
Krishnan Raghavan retweetet
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.
TBPN@tbpn
Facebook gets a movie, Anthropic gets a Fable, Vinod Khosla, Matthew Prince, Bret Taylor x.com/i/broadcasts/1…
English