Excited to be co-hosting the @fv_summit with @PramaanaLabs
We were tired of sorries too. Hence, we decided to bring the world's best formal verification talent together who are putting an end to AI saying sorry.
Want to join them?
It's time to verify!!
We are co-hosting a Formal Verification Summit in SFO on June 10th with @PramaanaLabs
Together, we are bringing together the best minds from DeepMind, Nvidia, Harmonic, Stanford and others to share insights on Formal Verification anchored by Vinod Khosla.
To join us π
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.
Demos, Superbuilders, AI Videos only - NO PITCHES were done at the Demo Party: @OpenAI edition
Comic Con for AI is here.
More such experiences from my side... stay tuned if you are building in AI
ποΈ Ep 1 of IN CONTEXT Show by BoldCap is live!
@VijayRayapati (@atomicworkhq | ex-Nutanix) x @sathyanellore (GP, BoldCap) on
All about the Decade of Agency β how Agents will Redefine Work
Watch: https://t.co/LpNqmgbJtD
Listen: https://t.co/ipVkXjFual
#AI#Startups#INCONTEXT
IN CONTEXT β a new show by Boldcap
Better Context leads to Better Prompting in your product, your career, and your thinking.
This show helps Builders & AI talent go a layer deeper.
Ep 1 ft. @VijayRayapati(Atomicwork)
Hosted by @sathyanellore
π₯Teaser out now
#AI#Boldcap