AITechmemeabout 2 hours ago
Pramaana Labs raises $27M seed for LLM verification
1 min read
Pramaana Labs raised a $27M seed round led by Khosla Ventures. The company uses the LEAN programming language to build a deterministic verification layer on top of LLMs, addressing enterprise reliability concerns as AI pilots struggle to become functional business tools.
Level
Hype check
Tap to vote and see what everyone thinks.
