ニューリップスのランチが苦手なら、早めに夕食を食べましょう！ https://t.co/Vluma.com/2w8mpa7t?tk=s9…ョアバード（コンベンション会場まで徒歩10分） サンディエゴにいます！Axiom @axiommathai、B Capital @BCapitalGroup @nickgiometti、そしてMadrona @MadronaVentures @jturow が Verified Reasoning のハッピーアワーを主催しています。 募集中です！強化学習/推論、定理の自動証明と自動形式化、形式検証に幅広く取り組んでいる方、ぜひご参加ください。 また、私たちは応用 ML の人材と優れたジェネラリスト エンジニアも求めています。 （和牛バーガー、デビルドエッグ、カリカリカリフラワー、ドリンクもあります！）
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。