Arnav
24 posts
Arnav
@ArnavAMehta
Founding Researcher @ Pramaana Labs | Formal Methods Researcher @ UCBerkeley
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-def…
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-archi…
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-o… Authored by: @ArnavAMehta Watch this space for more to come from our Technical blog-post series.
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.
#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_OEQhm9G… #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)
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.
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.
@TechCrunch I’m sure our underlying thesis would excite most. Read more about why we're building this, and how our Domain Formalizer + Auto-formalizer turns regulatory text into verifiable code: pramaanalabs.ai/blog/we-raised…
