Does Lemma run the analysis code?

Yes, through a code interpreter. Each transformation is a step you can rerun, and its result is checked against the claim it supports.

How are assumptions handled?

Each assumption is stated as its own claim, with the evidence in the data for or against it, so a reader can see which conclusions depend on it.

CSV and Parquet files, notebooks and your data warehouse.

Use case · Data analysis

Lemma states each assumption in an analysis and checks whether the data supports it.

Where it helps

Flag when two explanations cannot be separated by the data.

Every transformation is a step you can rerun.

Conclusions with the confidence they deserve.

Example

A short example of the kind of trace this work produces.

Reasoning · Science

Question

Could this drop in yield be explained by temperature alone?

Illustrative example, not live model output.

How we help

A research partner that tries to prove itself wrong

Agents that do real work, built on Lemma

Questions

Yes, through a code interpreter. Each transformation is a step you can rerun, and its result is checked against the claim it supports.

Illustrative scenario · Research

A mathematics group checks proofs before submission