Lemma: an open verification substrate for AI-driven scientific computing

Read full text
Authors: Arsalan Akhtar
Cited by: 2

Abstract

Lemma is an open substrate that verifies AI-generated scientific code and results against structured scientific knowledge: a corpus of schema-validated cards, generic check engines for finished outputs and AI-proposed new knowledge, a Model Context Protocol distribution surface, and a provenance layer.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
16 June 2026