/Companies

Axiomatic_AI

Founded 2024 · 46 employees on LinkedIn · 5 known investors

Find your way into Axiomatic_AI

Sign up to see every warm intro you have to Axiomatic_AI

  • Paths you didn't know you had: your email and LinkedIn already hold routes to the Axiomatic_AI team. We find them for you
  • 2nd- and 3rd-degree connections: the friend-of-a-friend routes that take hours to manually find through your inbox or LinkedIn
  • Answers now, not in days: momentum is everything in a raise. Skip asking around whether someone knows someone

Days of research, done the moment you sign in, with every route ranked by how warm it is.

Axiomatic AI makes Lemma, an AI co-explorer for scientific and engineering work that helps users validate, derive, and analyze equations and reasoning across mathematics, physics, and engineering with reproducible Python-based modeling. It serves researchers and engineers, producing workspace artifacts such as Markdown notes, Python scripts, and Marimo notebooks.

Investors · 5

Related companies · 2

Companies working in the same space as Axiomatic_AI.

Frequently asked questions

What does Axiomatic_AI do?
Axiomatic AI makes Lemma, an AI co-explorer for scientific and engineering work that helps users validate, derive, and analyze equations and reasoning across mathematics, physics, and engineering with reproducible Python-based modeling. It serves researchers and engineers, producing workspace artifacts such as Markdown notes, Python scripts, and Marimo notebooks.
Who are Axiomatic_AI's investors?
Axiomatic_AI's investors include Propagator Ventures, Two Small Fish Ventures, Kleiner Perkins, G Vision Capital, The Engine Ventures.