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.
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
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
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
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.
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
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.
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.
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.
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.
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.
@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!
@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