Formal Verification Watch Party with Pramaana Labs & BoldCap

​Promise of Pramaana: Micro Documentary Watch Party

​Join us for a virtual watch party screening "Promise of Pramaana," an 8-minute micro documentary featuring the founders of Pramaana Labs. They share why formal verification is the next frontier in AI, the story behind starting Pramaana Labs, and a sneak peek into the company's four models.

​After the screening, we'll host a live Q&A with Krishnan, Co-Founder and CTO of Pramaana Labs, along with other members of the leadership team.

​If you're curious about formal verification, or want to share your own ideas and connect with the team, this is a great session to join.

​We'll also make a few announcements about what's coming on the Pramaana Labs roadmap, and how you can join the team, be part of the community, and build with Pramaana Labs.