Si el almuerzo de Neurips es malo, ¡cena templuma.com/2w8mpa7t?tk=s9…mG0wuT Jueves de 4 a 6 p. m., Shorebird (a 10 minutos a pie de la Convención) ¡Estamos en San Diego! Axiom @axiommathai, B Capital @BCapitalGroup @nickgiometti y Madrona @MadronaVentures @jturow están organizando una hora feliz en Verified Reasoning. ¡Estamos contratando! Si trabajas en aprendizaje automático/razonamiento, demostración automatizada de teoremas y autoformalización, y verificación formal en general, ¡ven a conocernos! También buscamos expertos en ML aplicado e ingenieros generalistas sólidos. (¡También hay hamburguesas de wagyu, huevos rellenos, coliflores crujientes y bebidas!)
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.