👋 Welcome to Atom
Hi, this is Florian. I am documenting my learning notes here.
LinAlgZero: A linear algebra dataset for reasoning
A toolkit for generating a linear algebra dataset and training models for linear algebra reasoning.
LinAlgZero: Theory
A toolkit for generating a linear algebra dataset and training models for linear algebra reasoning.