Checkable reasoning, in people's hands

Lemma is our reasoning engine: it breaks a question into claims, checks each one and scores how sure it is. Conjecture is a product built on Lemma for research teams.

No. Lemma runs on leading foundation models, chosen for each task, with our own verification and evaluation layer on top. Our own models are in development.

Conjecture is available by request. We review the research domain with your team before work starts. Academic teams can apply for a Research Grant.

Not yet. Products are offered by request while we work with early teams, and enterprise work is scoped for each engagement.