Lemma: an open verification substrate for AI-driven scientific computing
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