Si le déjeuner de Neurips est mauvais, dînez luma.com/2w8mpa7t?tk=s9…VcmG0wuT Jeudi de 16h à 18h, Shorebird (à 10 min à pied du centre des congrès) Nous sommes à San Diego ! Axiom (@axiommathai), B Capital (@BCapitalGroup, @nickgiometti) et Madrona @MadronaVentures et @jturow organisent un happy hour sur Verified Reasoning. Nous recrutons ! Rejoignez-nous si vous travaillez dans les domaines suivants : apprentissage par renforcement / raisonnement, démonstration et formalisation automatiques de théorèmes, et vérification formelle en général. Nous recherchons également des spécialistes en apprentissage automatique appliqué et des ingénieurs généralistes compétents. (Il y a aussi du burger wagyu, des œufs mimosa, du chou-fleur croustillant et des boissons !)
Chargement du thread
Récupération des tweets originaux depuis X pour offrir une lecture épurée.
Cela ne prend généralement que quelques secondes.