manoj kumar sure

All of reality is programmable. You just have to figure out how. And the way to do that is to model it.

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

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.

@krishnan_rag @krishnan_rag 's Relentless pursuit to go head on against the toughest problems is what sets him apart from the rest! Having known him since @iitmadras and then at @Google , it became obvious to me to join hands with him once again @PramaanaLabs

"Building an AI that is provable not probable" is exactly the problem statement that motivated me to consider joining @PramaanaLabs and the amazing team here that is building it made it a no-brainer. The seed funding from Khosla Ventures is just a start!

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.