
Member of Technical Staff
Axiom Math • Remote · Remote — Mentor, Ohio, US
Applicable Field of Work • Machine Learning & AI for Mathematical Discovery and Reasoning — R&D at the intersection of deep learning, neuro-symbolic methods, automated theorem proving, and pure/applied mathematics.







