Russell Brandom / TechCrunch:

Pramaana Labs, which uses the LEAN programming language to build a deterministic verification layer on top of LLMs, raised a $27M seed led by Khosla Ventures  —  As enterprises struggle to turn AI pilot programs into functional parts of their business, reliability has taken center stage.

Russell Brandom / TechCrunch:

Pramaana Labs, which uses the LEAN programming language to build a deterministic verification layer on top of LLMs, raised a $27M seed led by Khosla Ventures  —  As enterprises struggle to turn AI pilot programs into functional parts of their business, reliability has taken center stage.

Source: TechMeme
Source Link: https://www.techmeme.com/260617/p28#a260617p28