Symbolic determinant identity testing (SDIT) is not a null cone problem; and the symmetries of algebraic varieties.

Visu Makam Avi Wigderson

Published in: FOCS (2020)

Keyphrases

symbolic representation
artificial intelligence
high level
training set
test cases
database
data sets
decision trees
test set
symmetry breaking