Lemma develops reinforcement learning environments that simulate complex legal reasoning, addressing challenges in applying legal doctrines to novel scenarios. Their focus is on enhancing fundamental reasoning skills applicable across various legal tasks. The company aims to expand its technology into other domains requiring formal logical reasoning.