interpretability

Diagrammatic representations of (A) matrix product state, (B) tree TN, and (C) projected entangled pair state. In (A), we mark the tensors and their indexes of an…

As autonomous systems and artificial intelligence become increasingly common in daily life, new methods are emerging to help humans check that these systems are behaving as expected. One method, called formal…