Solving Linear Algebra by Program Synthesis.

Iddo Drori Nakul Verma

Published in: CoRR (2021)

Keyphrases

program synthesis
linear algebra
sparse matrices
singular value decomposition
recursive programs
image processing
computer architecture
inductive logic programming
databases
feature selection
multiscale