Linear Algebra Zero (LingAlgZero)A project for generating a linear algebra dataset and training models for reasoning.