Company jobs

Jobs at Axiom Math

Axiom Math is an AI research company focused on mathematical discovery and reasoning through deep learning, neuro-symbolic methods, and automated theorem proving. The company develops tools like AXLE for proof verification and theorem extra…