Carina Hong（@CarinaLHong）のスレッド

AI4MathとAxiomについて語り合いましょう！ 非常に競争力のある条件で採用活動を行っています。RL、推論、コード生成、形式定理証明、自動形式化などの分野でご活躍されている方は、ぜひご連絡ください！ DMまたはcarina@axiommath.aiまでご連絡ください。