Pramaana Labs erhält $27M Seed-Runde für KI-Formaler-Überprüfung mit LEAN-Proofs

Laut Beating hat das Startup für formale KI-Verifikation Pramaana Labs eine Seed-Runde in Höhe von 27 Millionen US-Dollar abgeschlossen, angeführt von Khosla Ventures, mit Beteiligung von Accel, BoldCap, Nexus Venture Partners, Premji Invest und Unbound. Das Unternehmen nutzt LEAN, eine Open-Source-Programmiersprache zur Verifikation mathematischer Theoreme, um eine deterministische Verifikationsschicht auf große Sprachmodelle für sicherheitskritische Branchen aufzubauen, darunter Recht, Arzneimittelentwicklung und Steuer-Compliance.

Pramaana arbeitet mit dem ehemaligen US-IRS-Kommissar Danny Werfel für Steueranwendungen sowie mit Professoren vom IIT Delhi, IIT Madras und UC Berkeley für Cybersecurity- und Verifikationssysteme in der Arzneimittelentwicklung zusammen.