LinAlgZero: A linear algebra dataset for reasoning
A toolkit for generating a linear algebra dataset and training models for linear algebra reasoning.
Dataset
LinAlgZero: Theory
A toolkit for generating a linear algebra dataset and training models for linear algebra reasoning.