ThinkingNews
À la une
3 médias·3 articles·sur 23h

Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI

Pramaana Labs announced a $27 million seed round led by Khosla Ventures to develop a deterministic verification layer for large language models. The company uses the LEAN programming language to apply formal, mathematical proofs to AI outputs, aiming at applications in law, tax and drug discovery. This funding will support building that verification infrastructure.

Rédigé à partir de l’ensemble des articles ci-dessous, et non d’un seul.

Ce qu’en ont dit les médias

  1. TechCrunch·
    Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
  2. TechMeme·
    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 (Russell Brandom/TechCrunch)
  3. The Next Web·
    Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery