Axiomatic AI's

lemmaTM

The AI platform for your science and engineering challenges.

You do the science. Lemma does the rest.

Start with a problem like these.

Search the literature

I have a ridged waveguide I have been trying to build. But I think my problem, backreflection and a large Fano factor in my modulator, might be from some other source. Can you search for papers that have dealt with this problem in nanophotonics?

Science, without the tedium.

Bring Lemma the work that takes a week when you only have a morning. You direct the approach and approve the plan. Lemma does the work: managed, verified, and reported back.

Approved specifications

You set the direction: refine the plan, compare approaches, and set the specifications each step must meet. Nothing runs until you approve, and when a step fails, Lemma asks again.

Managed environment

Lemma runs the solvers, simulators and optimizers of your field, and installs anything else on request. No setup, no version conflicts.

Verification pipeline

Lemma checks results as they are produced for consistency, coherence, and agreement with sources, and reports when an output doesn't yet meet your specifications.

Interactive reports

Lemma reports back in interactive notebooks, where code and plots annotate the outcome. Portable anywhere.

What you can do with Lemma

Priya · 9:42Pcould we use the ring as atemperature probe?Map its temperature sensitivityring_thermometer.pyThermo-optic responseΔT < 1 mKyour ringquality factor QcouplingYes · 0.4 mKanswered by 9:58
Understand
Guided explorationA topic built up in a live notebook, at your level, one runnable step at a time.
DerivationResults derived from first principles, alternative routes compared.
Problem solvingA concrete answer to a concrete question, worked end to end.
Interrogate
Parameter explorationSweeps, scaling laws, regime boundaries.
Scenario comparisonDesigns, models, or platforms side by side, with the trade-offs shown.
Experiment planningMeasurement plans with error budgets, before spending lab time.
Fig. 3Code available upon request.Reproduce Fig. 3 from this paperfig3_reproduction.pypaper (Fig. 3)reproductiongap 218 nmwavelengthtransmissiongap (nm)paper218ENVIRONMENT READYFDTDFEMoptimizationplottingReproducedin 24 min
Computational Methods
Model buildingDescribe a device or a phenomenon and get a working model of it, built and run.
Model comparisonCompeting models ranked by information criteria.
Paper reproductionRebuild a paper as a live notebook reproducing its results.
Mathematics
Equation checkingDimensional analysis and symbolic verification of derivations.
Formal proofMachine-checked proofs in Lean 4 with mathlib, for the ultimate layer of rigour.
Optimization
Numerical optimizationConstrained optimization, ODE/DAE simulation, optimal control.
Inverse designGradient-based design through differentiable simulation.
Solvers
(3)(4)(5)Check every equation in this papervalidation_report.pyEQUATIONSEq. (3) — dimensions consistentEq. (4) — rederived, matchesREFERENCES41 of 41 resolve to real sourcesCLAIMS6 of 6 traced to their citationsEq. (5) — sign error in the exponentFull working shown in the notebook.1 misprint foundin 9 min
Read
Document analysisAnalyze equations, figures, tables, and claims extracted from any given document.
Validation reportA structured report on a paper's references, equations and claims, scoped to whichever you want checked.
Write
ManuscriptsLaTeX drafted from your own results, bibliography included, compiled to PDF.
Grant proposalsDrafted against specific calls, grounded in your results.
SlidesTalk-ready decks, built from a paper or from your own results.

Get started

Sign up and try Lemma for free, or log in if you already have an account.