Neurips 점심이 맛없다면 저녁을 일찍 드세요! https://t.co/VtVluma.com/2w8mpa7t?tk=s9… Shorebird(컨벤션까지 도보 10분) 샌디에이고에 왔어요! Axiom @axiommathai, B Capital @BCapitalGroup @nickgiometti, 그리고 Madrona @MadronaVentures @jturow가 Verified Reasoning에서 해피 아워를 주최합니다. 채용 중입니다! 강화학습/추론, 자동 정리 증명 및 자동 형식화, 그리고 형식 검증 분야에 관심 있는 분을 모집합니다. 또한 우리는 응용 ML 전문가와 뛰어난 일반 엔지니어도 찾고 있습니다. (와규 버거, 데블드 에그, 바삭한 콜리플라워, 음료도 있습니다!)
스레드를 불러오는 중
깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.
보통 몇 초면 완료되니 잠시만 기다려 주세요.