Pramaana Labs Menggalang Pendanaan Seed $27M untuk Verifikasi Formal AI dengan LEAN Proofs

Menurut Beating, startup verifikasi formal berbasis AI Pramaana Labs telah menyelesaikan putaran seed senilai 27 juta dolar AS yang dipimpin oleh Khosla Ventures, dengan partisipasi dari Accel, BoldCap, Nexus Venture Partners, Premji Invest, dan Unbound. Perusahaan menggunakan LEAN, bahasa pemrograman open-source untuk memverifikasi teorema matematika, untuk membangun lapisan verifikasi deterministik di atas model bahasa besar bagi industri berisiko tinggi termasuk hukum, pengembangan obat, dan kepatuhan pajak.

Pramaana bekerja sama dengan mantan Komisaris IRS AS Danny Werfel untuk aplikasi perpajakan serta profesor dari IIT Delhi, IIT Madras, dan UC Berkeley untuk sistem verifikasi keamanan siber dan pengembangan obat.