New We formalized a quantum mechanics textbook in Lean. Read the post
Axiomatic AI

Talk to us

Tell us who you are and what you are working on, and the right person will get back to you.

  • Working with your organization

    Custom deployments of Axiomatic Intelligence for photonics and test engineering teams.

  • Partnerships

    Research collaborations, tool and instrument integrations, and joint work.

  • Press

    Interviews, background on the company, and assets.

  • Support

    Questions about your Lemma account or a problem you have hit.

Prefer email? Write to contact@axiomatic-ai.com. For roles, see Careers or write to hr@axiomatic-ai.com.