Se o almoço do Neurips for ruim, jante cedo! luma.com/2w8mpa7t?tk=s9… Quinta-feira, das 16h às 18h, Shorebird (a 10 minutos a pé do Centro de Convenções) Estamos em San Diego! Axiom @axiommathai, B Capital @BCapitalGroup @nickgiometti e Madrona @MadronaVentures e @jturow estão organizando um happy hour no Verified Reasoning. Estamos contratando! Venha se candidatar se você trabalha com aprendizado por reforço/raciocínio, demonstração automática de teoremas e formalização automática, e verificação formal em geral. Também procuramos profissionais de aprendizado de máquina aplicado e engenheiros generalistas com forte capacidade de análise. (Também há hambúrguer de wagyu, ovos recheados, couve-flor crocante e bebidas!)
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.