Venez nous rencontrer et discuter d'AI4Math et d'Axiom ! Nous recrutons avec des rémunérations très attractives. Si vous travaillez dans les domaines suivants : apprentissage par renforcement, raisonnement, génération de code, démonstration formelle de théorèmes, formalisation automatique, contactez-moi ! Envoyez-moi un message privé ou écrivez-moi à carina@axiommath.ai
