@krishnan_rag Formal verification isn't just work for @krishnan_rag - he lives it. As thorough as it gets.
Excited to bring this level of rigor to critical domains with him and the @PramaanaLabs team.
Let there be no hallucinations! 🚀
Lots of work ahead, but I'm super excited to build the product around our research at @PramaanaLabs
We just raised $27M led by @khoslaventures (with Accel, Boldcap, Nexus, Premji Invest & Unbound) to take AI from probably right to provably right.
Focusing on turning formal verification + Lean into real, production-grade systems. Can't wait for what's next.
Removing "…can make mistakes. Check important info." disclaimer from AI generated answers.
Actively hiring the best talent. DM if this is your problem too.
Say no to hallucinations!
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.
@framer@learnframer Facing issues with linking domains with an important launch tomorrow and support says it wont be looked by humans untill 24hrs. Anyway to escalate?
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 room I wanted to be in when we started Pramaana didn't exist. The people working on formal verification weren't in the same room as the people deploying AI into regulated domains.
One year later, we're building that very room.
June 10th, San Francisco.
https://t.co/526T8vHkbw
@NotionHQ@vercel@NotionHQ and @vercel should do a indepth workshop on this! Create a barebones templates for folks to adopt and kickstart their AI transformation
Google IO showcased AI glasses and the live demo was really cool. Specially the watch companion app to quickly glance the answers and ability to capture images and modify it using Nano Banana Pro. Updated WearableAI to have live activities, a watch companion app and image generation via Nano Banana Pro (try asking it to capture a photo and do edits on it) 😃
Try it on your RayBan Meta's - https://t.co/tPqyZkJ17G
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.