Kaushik

Building Trustworthy AI @ Pramaana Labs

[IIT Madras @iitmadras]

Proud to see our incubated deep-tech startup, The ePlane Company, pull back the curtain today on the e200X (PT-01), the full-scale physical reality of their physics-first approach to aviation.

While the global industry has spent billions building massive aircraft that require cities to rebuild their infrastructure completely, IIT Madras faculty member Prof. Satya Chakravarthy and his team took a completely different path.

At just 8m × 11m, the e200X is the world’s most compact passenger eVTOL, engineered to carry a pilot + 200kg of payload directly out of current helipads. Backed by over 10,000 km of cumulative flight testing and holding a formal Design Organisation Approval (DOA) from the DGCA, ePlane represents the elite tier of execution rigour in the Advanced Air Mobility sector.

@iitmadras @ePlaneCompany @satchakra_iitm

#IITMadras #IITMIncubationCell #DeepTech #MakeInIndia #eVTOL #AdvancedAirMobility #AerospaceEngineering #Innovation

[Sanjay Ganapathy @sanjaygsub]

What if we could do this not just in math but for every knowledge system?

That's what we're building @PramaanaLabs

[Krishnan Raghavan @krishnan_rag]

The way AI markets itself with such confidence convinces people it can be blindly trusted. In reality, these are just probabilistic machines with zero guarantees of correctness. Nothing ensures that any given sentence or reasoning is actually true. To deliver on AI abundance, we must stop guessing and use formal models to mathematically prove correctness.

[Pramaana Labs @PramaanaLabs]

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:
https://t.co/xDkCSf8F9W

Created by: @manoj_sure @techieShukla

[Pramaana Labs @PramaanaLabs]

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 → https://t.co/XA29ZpaMVV

[Pramaana Labs @PramaanaLabs]

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 → https://t.co/E5eIvAtDnY

[Kaushik @kaush_ality]

This is what happens when Pramaanam (the proof / evidence) becomes an afterthought of an AI system rather than being a first-class object.

[Pramaana Labs @PramaanaLabs]

“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.

https://t.co/OQdgq8fnOT

[Pramaana Labs @PramaanaLabs]

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 → https://t.co/FbNiJ3Knhy

Authored by: @ArnavAMehta

Watch this space for more to come from our Technical blog-post series.

[Republic @republic]

#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: https://t.co/U3phAD0U4m

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

[Joe Barrow @barrowjoseph]

New paper: every law in America is technically public. But not really, until now!

With @DenisPeskoff at UC Berkeley, we built a corpus of ~every publicly accessibly city and county law, and released a huge chunk of it!

2.2 million laws, you're (probably) covered in it!

🧵

[ranjan_raj @ranjan_vittal]

Our friendship started when we shared the same room during IMOTC 2010. It has carried from there to @iitmadras to @Google to @PramaanaLabs.

Krishnan is easily the most technically ambitious person I know. Pramaana's instinct to go after extremely hard problems comes from Krishnan's insane pursuit of truth. He repeatedly quotes that unless we prove something is impossible, we can continue to try.

PS: @sanjaygsub was his partner in ML and I was his partner in PL during our undergrad. He continues to be the bridge from then till today. Super excited to build Pramaana with the two of you!

[Vinod Khosla @vkhosla]

Auto formalization will be an important new area.

[Sathya @sathyanellore]

“At 15, I ranked first in my state and top 30 nationally in mathematics, joining the elite IMO training camp among its ten youngest members. By 17, I mirrored this in physics - ranking top 30 nationally, and winning a medal for India at the Asian Physics Olympiad.” 🐐 let’s go!

[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

[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.

[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

[Kaushik @kaush_ality]

Thrilled to be a part of the Pramaana Labs team!

[Nexus Venture Partners @NexusVP]

The next frontier in AI isn't speed or scale. It's proof.

@PramaanaLabs is building the accountability infrastructure for the world's most consequential domains.

🔗 https://t.co/P0iWQ7KQOP

[Nexus Venture Partners @NexusVP]

The next frontier in AI isn't speed or scale. It's proof.

@PramaanaLabs is building the accountability infrastructure for the world's most consequential domains.

🔗 https://t.co/P0iWQ7KQOP

[Kaushik @kaush_ality]

@TechCrunch Make AI accountable

[TechCrunch @TechCrunch]

Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI https://t.co/b2ZbyHjYSx