Nieuws

Pramaana Labs haalt $27 miljoen op van Khosla Ventures voor formele verificatie van AI

Pramaana Labs heeft een seed-ronde van $27 miljoen afgesloten onder leiding van Khosla Ventures. Het bedrijf wil formele verificatie toepassen op AI-systemen voor kritische sectoren zoals recht, medicijnontdekking en belastingvoorbereiding. Het gebruikt de open-source programmeertaal LEAN om de uitvoer van LLM's te verifiëren.