Anurag Shukla

302 posts

Anurag Shukla banner
Anurag Shukla

Anurag Shukla

@techieShukla

Research SDE 2 @Microsoft

Raipur, India Katılım Aralık 2017
254 Takip Edilen156 Takipçiler
Sabitlenmiş Tweet
Anurag Shukla
Anurag Shukla@techieShukla·
Excited to announce that our project INMT-lite is now public under @Microsoft open source. Link: github.com/microsoft/INMT… INMT-lite is a framework to develop lite versions of NMT models and can be also used to develop mobile-version of INMT-web.
English
1
2
13
0
Anurag Shukla retweetledi
Arpit Bhayani
Arpit Bhayani@arpit_bhayani·
Doomscrolling is proof that you have the time. The only question is where you spend it.
English
44
96
1.9K
64.9K
Anurag Shukla retweetledi
Pramaana Labs
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 → pramaanalabs.ai/blog/audit-def…
English
0
9
21
5K
Anurag Shukla retweetledi
Pramaana Labs
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: taxoptimizer.pramaanalabs.ai Created by: @manoj_sure @techieShukla
Pramaana Labs tweet media
English
0
10
25
1.1K
Anurag Shukla retweetledi
Sanjay Ganapathy
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.
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
13
36
345
61.2K
Anurag Shukla retweetledi
Sanjay Ganapathy
Sanjay Ganapathy@sanjaygsub·
Last week I joined a panel on the frontiers of AI × Verification at the @fv_summit, with @evelovesolive, @diagram_chaser, @DjDvij and @sathyanellore . From researching the jagged frontier of Gemini's capabilities, one thing was clear: Verifiability is the bottleneck to superhuman AI on any class of tasks. And verification needs rigorous specification. The catch: rigorous specification doesn't come naturally to us. We run on intuition — and intuition can generate an answer, but it can't certify one. Yet certainty is exactly what high-stakes work needs to stay reliable and compound. And frontier models won't learn that rigor from human data. At @PramaanaLabs, we're teaching it directly: pairing AI with a formal specification language and training on machine-checkable rewards.
English
0
3
13
27.7K
Anurag Shukla retweetledi
ranjan_raj
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
100
154
1.3K
326K
Anurag Shukla retweetledi
The FV Summit
The FV Summit@fv_summit·
5 days to go ! 14 speakers. One stage. One question: Can we hold AI accountable where it matters the most? Join the room where AI stops saying 'Sorry'! It's time to verify AI ! @khoslaventures @PramaanaLabs @boldcapfund
The FV Summit tweet media
English
1
5
12
906
Anurag Shukla retweetledi
The FV Summit
The FV Summit@fv_summit·
Join the room where AI stops saying 'Sorry' ! Hear from the industry's best minds speak on the problem and possibilities of verification in AI. It's time to verify AI ! @khoslaventures @PramaanaLabs @boldcapfund
English
4
13
46
5.2K
Anurag Shukla retweetledi
The FV Summit
The FV Summit@fv_summit·
Outputs that sound right are not the same as outputs we can prove right. The next phase of AI runs on verified systems: formal methods, theorem provers, runtime checks, provable agents. It's time to verify AI ! Join us on the 10th of June at SF ! @PramaanaLabs @boldcapfund
The FV Summit tweet media
English
1
8
14
1.6K
Anurag Shukla retweetledi
Vinod Khosla
Vinod Khosla@vkhosla·
Agree focusing on AI's weakness will accelerate it and create opportunities
Marco Pascha@34marcopascha

@vkhosla This is exactly the frontier founders should be building for. AI is getting very good at fluency. But companies do not run on fluency. Companies run on trust, rules, hierarchy, approvals, accountability, memory, risk control, and proof. The next critical layer is not simply “more generative AI.” It is verifiable AI inside real organizations. Because the hard problem is no longer: “Can AI produce an answer?” The hard problem is: Can the company trust it? Can the source be verified? Can the decision be defended later? Can the right person approve it? Can sensitive data stay within the right boundary? Can the system understand who has authority? Can it respect what must never be done? Can it operate according to the company’s culture, rules, goals, and risk appetite? Can every critical action leave an audit trail? This is where traditional software fails. This is where generic productivity AI fails. And this is where uncontrolled AI agent layers will become a liability for millions of businesses. For large enterprises, this is a governance challenge. For SMEs, it is an existential infrastructure gap. There are hundreds of millions of businesses that cannot build their own AI governance stack. They cannot manage scattered AI tools, disconnected assistants, risky automations, fragmented permissions, and unverified outputs. They need a governed company work layer. A layer where AI does not just generate. It prepares, checks, routes, explains, verifies, and escalates. It understands the company structure. It knows roles, departments, authority levels, approval paths, restricted actions, and visibility rules. It helps the business move faster — without removing human control from critical moments. That is why we are building Orygent. Not another chatbot. Not another generic automation product. Not another unmanaged AI agent stack. Orygent is built for companies that need AI work to be controlled, traceable, approval-aware, and defensible. With Atlas and role-based digital work companions, a company can coordinate finance, operations, sales, compliance, support, services, and management work through a governed layer — while keeping leadership, approval, audit, and trust at the center. The next wave of AI adoption will not be won by the companies using the most AI. It will be won by the companies that can verify, govern, and defend how AI works inside the business. That is the real frontier. orygent.com

English
7
3
73
34.3K
Anurag Shukla retweetledi
Natasha Malpani 👁
Natasha Malpani 👁@natashamalpani·
we’re hosting a small breakfast in bangalore next week for founders building at the frontier of AI, science + deep tech. one rule: bring one friend doing groundbreaking work.
Natasha Malpani 👁 tweet media
English
18
6
129
10.9K
Anurag Shukla retweetledi
Sathya
Sathya@sathyanellore·
Autoformalization is the next critical frontier unlock to get us to ASI!! We are excited to co-host the inaugural verification summit with @PramaanaLabs and @vkhosla on June 10th. If you are a researcher, founder or investor interested in the frontier you should be here. @boldcapfund
Sathya tweet media
English
4
19
49
28.6K