Mit Dave

Building reasoning layer @SentientAGI, like working at intersection of AI and XR

[Mit Dave @mitdave]

@shadcn Solving towards this problem at @PramaanaLabs
Each answer comes with a proof which inherently proves the ask

[Mit Dave @mitdave]

@TomasStambulsky @OscarFalmer

[Mit Dave @mitdave]

@samsheffer glass was indeed ahead of time, wish it had more adoption 😢

[Mit Dave @mitdave]

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

[Mit Dave @mitdave]

@AbhishekEswaran @PramaanaLabs @khoslaventures Very much aligned! Pinging you on DM

[Mit Dave @mitdave]

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!

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

[Mit Dave @mitdave]

@5aumit @PramaanaLabs @khoslaventures Should be fixed now, also sent you a DM

[Krishnan Raghavan @krishnan_rag]

https://t.co/f4ch14xQiX

[Mit Dave @mitdave]

@midjourney would love to join

[Mit Dave @mitdave]

@SkarredGhost Not yet active :(

[Mit Dave @mitdave]

@Rush26agarwal @PramaanaLabs has a verifiable stack which can help just do that at scale and speed with 💯 accuracy and correctness

[Mit Dave @mitdave]

@SkarredGhost 🙋‍♂️

[Mit Dave @mitdave]

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

[Mit Dave @mitdave]

@Psychohistory0 @xai @grok Wait, grok is available on AVP, thats 🔥🔥🔥🔥

[Mit Dave @mitdave]

Removing ambiguity from AI-generated answers.

Join us on June 10th to learn more
https://t.co/wkxVp4AbpO

[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

[ranjan_raj @ranjan_vittal]

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

[Mit Dave @mitdave]

@zmwang South Bay would be 🚀🚀🚀

[Mit Dave @mitdave]

@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

[Mit Dave @mitdave]

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

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