Empresa de validação formal de IA Pramaana Labs arrecada 27 milhões de dólares em rodada seed, introduz prova matemática LEAN para resolver alucinações

robot
Geração do resumo em andamento
De acordo com o monitoramento Beating, a startup Pramaana Labs, dedicada a introduzir a verificação formal matemática na IA, anunciou a conclusão de uma rodada seed de 27 milhões de dólares.
Esta rodada foi liderada pela Khosla Ventures, com participação da Accel, BoldCap, Nexus Venture Partners, Premji Invest e Unbound.
O financiamento será utilizado para construir uma camada de verificação determinística para setores altamente sensíveis e intolerantes a erros, como jurídico, pesquisa de medicamentos e declaração de impostos.

O sistema da Pramaana Labs ainda opera com um LLM tradicional na sua base, para manter a flexibilidade no processamento de problemas complexos e linguagem natural, mas sua inovação central reside na construção de uma camada de verificação determinística sobre o LLM.
Este mecanismo se inspira na linguagem de programação de código aberto LEAN, usada para verificar teoremas matemáticos, codificando regras específicas do setor.

Para construir sistemas de verificação formal no estilo LEAN para diferentes setores verticais, a Pramaana convidou uma grande quantidade de especialistas do setor para supervisão e endosso.
No setor de impostos, a empresa está colaborando com o ex-diretor do IRS, Danny Werfel;
No campo de segurança cibernética e pesquisa de medicamentos, a liderança fica por conta de equipes de professores do Instituto de Tecnologia da Índia (IIT) de Delhi e Madras, bem como da Universidade da Califórnia, Berkeley.
Ver original
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
  • Recompensa
  • Comentário
  • Repostar
  • Compartilhar
Comentário
Adicionar um comentário
Adicionar um comentário
Sem comentários
  • Fixado