Empresa de verificação formal de IA Pramaana Labs arrecada 27 milhões de dólares em financiamento seed, introduzindo provas matemáticas LEAN para resolver ilusões

robot
Geração de resumo em curso
De acordo com o monitoramento Beating, dedicado a introduzir a verificação formal matemática na IA, a startup Pramaana Labs anunciou a conclusão de uma rodada seed de 27 milhões de dólares.
Esta rodada de financiamento foi liderada pela Khosla Ventures, com participação da Accel, BoldCap, Nexus Venture Partners, Premji Invest e Unbound.
Os fundos serão utilizados para construir uma camada de verificação determinística para indústrias altamente sensíveis e intolerantes a erros, como direito, pesquisa de medicamentos, declaração de impostos, entre outros.

A infraestrutura do sistema da Pramaana Labs ainda opera com os tradicionais LLMs 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 é inspirado na linguagem de programação de código aberto LEAN, usada para verificar teoremas matemáticos, e codifica regras específicas do setor na indústria.

Para desenvolver 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 campo tributário, a empresa está colaborando com o ex-diretor do IRS (Internal Revenue Service) dos EUA, Danny Werfel;
No âmbito de segurança cibernética e pesquisa de medicamentos, a equipe é liderada por professores do Instituto Indiano de Tecnologia de Delhi (IIT Delhi), do Instituto de Tecnologia de Madras (IIT Madras) e da Universidade da Califórnia, Berkeley.
Ver original
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
  • Recompensa
  • Comentar
  • Republicar
  • Partilhar
Comentar
Adicionar um comentário
Adicionar um comentário
Nenhum comentário
  • Fixado