Anurag Shukla

Research SDE 2 @Microsoft

[Anurag Shukla @techieShukla]

Excited to announce that our project INMT-lite is now public under @Microsoft open source.
Link: https://t.co/BNUzrfi9MN
INMT-lite is a framework to develop lite versions of NMT models and can be also used to develop mobile-version of INMT-web.

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

[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

[Vinod Khosla @vkhosla]

Agree focusing on AI's weakness will accelerate it and create opportunities

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

[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

[Vinod Khosla @vkhosla]

I think this will turn out to be a very important area. Founders should work on things AI is not good at.

[The FV Summit @fv_summit]

We are hosting the launch edition of verification summit.

A technical-first gathering for engineers, founders, researchers and practitioners building verified AI & formalization for real world domains.

Apply: https://t.co/o7N6xUQMEw
https://t.co/GxmlDsYrAY
Q.E.D.

[Aalok Thakkar @AalokDThakkar]

Using Lean 4 to identify contradictions in laws.

Very exciting work by Pramaana Labs https://t.co/zl239Thp7L. They have build a DSL called LegalLean to formalise US tax codes.

[Anthropic @AnthropicAI]

We’ve identified industrial-scale distillation attacks on our models by DeepSeek, Moonshot AI, and MiniMax.

These labs created over 24,000 fraudulent accounts and generated over 16 million exchanges with Claude, extracting its capabilities to train and improve their own models.

[Anurag Shukla @techieShukla]

@0xlelouch_ @Kviraj722 This answer is perfect

[kalikabali @kalikabali]

Indian language lit shines again at Booker! 🌞

A Kannada short story collection by Banu Mushtaq, translated by Deepa Bhasthi (1st Indian translator to win), wins this year—3 yrs after the first Hindi book - Tomb of Sand (translated) by Geetanjali Shree took the prize.

[Naman Jain @JainNaman18]

Just used https://t.co/eSSj8USQ5N on an old project I hadn't touched in years.

It generated docs that made it way easier to onboard myself again. Huge time-saver.

[Bojan Tunguz @tunguz]

Physics is now officially finished.

[Anurag Shukla @techieShukla]

@nitesh_singh08 Are these general doubts? If yes, I can help you

[Anurag Shukla @techieShukla]

@tlakomy @thedroiddiv

[Tomasz Łakomy @tlakomy]

This is how I approve PRs

[Anurag Shukla @techieShukla]

@IndiGo6E She swiftly gave me the boarding pass (she was fast!), and I had to rush before I could express my gratitude in person. Her dedication truly made my day! Kudos to @IndiGo6E for including the diversity in their workforce!

[Anurag Shukla @techieShukla]

A unique experience with @IndiGo6E while checking in at Bangalore for my flight to Agra. A thread 🧵

[Anurag Shukla @techieShukla]

@IndiGo6E I apologized and wrote down my request. While she worked on it, I stood there, inspired by her determination to keep working with a big smile despite all odds