Pramaana Labs (@PramaanaLabs)

Pinned Post

Pramaana Labs

@PramaanaLabs

Jun 17

Today we're announcing our $27M seed, led by @khoslaventures, to build provably correct AI for the mission-critical domains that has no room for errors. Every output from our model comes with a chain of mathematical proof, that resonates with our promise at Pramaana.

ranjan_raj

@ranjan_vittal

Jun 17

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.

4:10

2

5

42

7,025

Pramaana Labs reposted

Sanjay Ganapathy

@sanjaygsub

8h

What if we could do this not just in math but for every knowledge system? That's what we're building @PramaanaLabs

Dwarkesh Patel

@dwarkesh_sp

Jul 1

Mathlib is Lean library that has formalized a lot of humanity's math concepts and proofs. Grant speculated about a really interesting possibility: You could just have different AIs fork MathLib and build their own parallel math civilization. Lean guarantees that whatever new conjectures they come up with would be logically valid. Whether they'd be interesting is another matter. But as AIs develop better and better taste, why wouldn't they be? "That's a very unique thing that math has that nothing else has, where you could press go and just pour compute at it, look away for ten years, and then come back and say, 'What do you have? There's going to be something." I love this as a metaphor for what's going to happen to our civilization overall. For millennia, humanity has built this corpus of knowledge that is now being distilled into these models. At some point, the models will just extend that arbitrarily.

1:03

1

4

12

861

Pramaana Labs reposted

ranjan_raj

@ranjan_vittal

Jul 4

When mathematicians enter other domains, they solve it. The most popular example of that is Jim Simons and Renaissance Technologies "solving" algorithmic trading to a large extent. Now we are entering an arena where mathematicians are looking for a new home as AI is encroaching theirs. Extremely interesting times as I expect multiple hard real world problems to be solved by them over the next few years. When theory stops being exciting, great practical things would be achieved. We at @PramaanaLabs are one such group of mathematicians, betting that the next wave of hard, real-world problems gets solved by people who think in proofs. We are actively speaking with more mathematicians, and the hunger and energy are unmistakable. If you are one, reach out. Let us talk about what we could build together. @krishnan_rag @sanjaygsub

1

7

36

2,312

Pramaana Labs reposted

Tanay Jaipuria

@tanayj

Jul 2

x.com/i/article/207275948551…

7

36

354

67,639

Pramaana Labs

@PramaanaLabs

Jul 3

It's the tax season of the year for India. We formalized India’s ITR-2 tax logic in Lean 4 and made it a tool for all to use, with a mathematical proof trail to aide your choice of regime selection. Feel free to tinker with our tool before you file your returns: taxoptimizer.pramaanalabs.ai… Created by: @manoj_sure @techieShukla

10

24

970

Pramaana Labs

@PramaanaLabs

Jul 2

Current Frontier LLM models hallucinate with Tax queries on phase-outs, miss quadratic interactions, and leave money on the table; all while sounding confident. Formal verification of these outputs at run-time is the only meaningful way to address this. Cell-by-cell 1040 modeling machine-checked proofs that your tax plan is compliant and provably optimal. Audit-defensible. Fearless. Authored by: Yoshiki Takashima Read how we turn complex tax optimization into verifiable truth → pramaanalabs.ai/blog/audit-d…

Audit Defensible Tax Optimization

How Pramaana uses Lean 4 to prove tax plans are compliant, optimal, and audit-defensible — even when frontier LLMs miss by thousands of dollars.

pramaanalabs.ai

9

21

4,839

Pramaana Labs

@PramaanaLabs

Jun 30

Our CEO @ranjan_vittal was live on CNBC yesterday explaining our thesis around why provable intelligence is the next major unlock in AI.

ranjan_raj

@ranjan_vittal

Jun 30

Was an interesting conversation yesterday ! Thanks for hosting me at the Startup Street segment - @CNBCTV18Live youtu.be/Awh5ZNSRIYQ?si=SVX5…

1

12

462

Pramaana Labs

@PramaanaLabs

Jun 29

Medical AI is rushing toward autonomous agents. But in the clinic, a fluent reasoning trace isn’t enough. We need proofs that are machine-checked and respects every inclusion, exclusion, and contradiction in the patient’s data. Introducing the architecture of clinical truth: formalizing diagnostic criteria in Lean 4 so every diagnosis is verifiable. No more unsafe shortcuts. Authored by: @kaush_ality @ChristineTataru Read more about it here → pramaanalabs.ai/blog/the-arc…

The Architecture of Clinical Truth: Why Medical AI Needs Proof, Not Agents

Why medical AI needs proof-backed clinical reasoning — not just autonomous agents — to prevent hallucinations, missed exclusions, and unsafe diagnostic shortcuts.

pramaanalabs.ai

3

6

24

6,791

Pramaana Labs

@PramaanaLabs

Jun 29

Math proofs are cool, but the real revolution? Verifying real-world claims in accounting, tax law, compliance, medicine & more; reliably, efficiently, and at scale. Proof trees look different across domains. One-size-fits-all won't cut it. AI prover architectures must be purpose-built to navigate the specific reasoning trees, resource constraints, and rule stability of the environment they are verifying. Read why specialized provers are the future → pramaanalabs.ai/blog/the-age… Authored by: @ArnavAMehta Watch this space for more to come from our Technical blog-post series.

The Age of Everyday Provers

Why the next frontier of formal reasoning is not just proving math theorems, but verifying everyday claims in software, law, tax, medicine, and compliance.

pramaanalabs.ai

7

23

1,561

Pramaana Labs

@PramaanaLabs

Jun 26

“Given the recent explosive reach of AI in the legal field, it is incumbent on every party communicating with a court, but especially incumbent on attorneys, to ensure that any output generated by AI is verified and accurate,” Justice Lyle Frank wrote in a section of his May 5 ruling subtitled “A Caution on AI Hallucinations.” Verified AI is need of the hour. columbiaspectator.com/news/2…

Judge issues warning after lawyer for student protesters cites AI-hallucinated cases in lawsuit...

A New York Supreme Court judge warned against the ethical consequences of AI in the courtroom last month after a lawyer for five anonymous Barnard student protesters cited AI-hallucinated cases in a...

columbiaspectator.com

3

11

825

Pramaana Labs reposted

Kira Terminal

@kira_research

Jun 22

x.com/i/article/206880734850…

2

13

1,120

Pramaana Labs reposted

Republic

@republic

Jun 22

#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_OEQhm9GVQ… #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)

5:05

6

63

422

64,903

Pramaana Labs reposted

Sridhar Vembu

@svembu

Jun 23

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.

Sanjay Ganapathy

@sanjaygsub

Jun 23

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!

18

130

1,004

95,155

Pramaana Labs reposted

ranjan_raj

@ranjan_vittal

Jun 23

Thanks for the shout out @svembu let's bring verifiable super intelligence to the world!

Republic

@republic

Jun 22

#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_OEQhm9GVQ… #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)

5:05

1

10

70

6,186

Pramaana Labs reposted

प्रशान्तः

@prashantganti

Jun 18

I recently had the pleasure of meeting members of @PramaanaLabs , including @thesoulhacker and was deeply impressed by the groundbreaking work you’re doing to bridge the trust gap in AI. Keep leading the way! 🚀Many congratulations to @PramaanaLabs, @krishnan_rag, and the entire team.

Pramaana Labs

@PramaanaLabs

Jun 17

Today we're announcing our $27M seed, led by @khoslaventures, to build provably correct AI for the mission-critical domains that has no room for errors. Every output from our model comes with a chain of mathematical proof, that resonates with our promise at Pramaana.

1

7

692

Pramaana Labs reposted

siliconindia - India Edition @SINewsUpdates

Jun 18

Pramaana Labs Raises $27 Million Led by Khosla Ventures Read More: lnkd.in/dQKsQ-GJ ➤Khosla Ventures ➤Accel ➤Nexus Venture Partners ➤Premji Invest ➤ Ranjan Rajagopalan, Krishnan Raghavan & Sanjay Ganapathy Subramaniam, Founder, @PramaanaLabs Labs

1

7

311

Pramaana Labs reposted

Krishnan Raghavan

@krishnan_rag

Jun 18

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

Jun 17

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

1

21

3,426

Pramaana Labs reposted

ranjan_raj

@ranjan_vittal

Jun 18

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.

Vinod Khosla

@vkhosla

Jun 18

Auto formalization will be an important new area.

8

55

7,933

Pramaana Labs reposted

Vinod Khosla

@vkhosla

Jun 18

Auto formalization will be an important new area.

ranjan_raj

@ranjan_vittal

Jun 17

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.

4:10

17

23

204

82,080

Pramaana Labs reposted

Khosla Ventures

@khoslaventures

Jun 17

In tax, law, finance, and healthcare, a wrong answer isn't a hallucination. It's a liability. We're proud to have led @PramaanaLabs' $27M seed and to be backing a team building AI that's provably correct, not probabilistically correct: every output ships with mathematical proof.

ranjan_raj

@ranjan_vittal

Jun 17

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.

4:10

2

4

23

3,063