Pramaana Labs levanta uma rodada Seed $27M para verificação formal de IA com LEAN Proofs

De acordo com Beating, a startup de verificação formal com IA Pramaana Labs concluiu uma rodada seed de US$ 27 milhões, liderada pela Khosla Ventures, com participação da Accel, BoldCap, Nexus Venture Partners, Premji Invest e Unbound. A empresa usa LEAN, uma linguagem de programação open-source para verificar teoremas matemáticos, para construir uma camada de verificação determinística em cima de grandes modelos de linguagem para setores de alto risco, incluindo direito, desenvolvimento de medicamentos e conformidade tributária.

A Pramaana está colaborando com o ex-comissário do IRS dos EUA Danny Werfel para aplicações fiscais e com professores do IIT Delhi, IIT Madras e UC Berkeley para sistemas de verificação em cibersegurança e desenvolvimento de drogas.