Axiom (Axiom Math) is a startup building AI systems that use formal mathematics to verify software and scientific reasoning.
Part of: San Francisco CA startup hiring map by Fundable