Compressed linear algebra for declarative large-scale machine learning | Synapse