pysyrenn (pypi): Symbolic Representations for Neural Networks
Keywords: class|attribute|boilerplate|integrated-gradients|network-patching|neural-network|verification