Notebooks from Explainable Deep Learning and Guiding Human Intuition with AI.
Based on the paper
“Advancing mathematics by guiding human intuition with AI”. Nature, Vol 600, 2 December 2021)
notebook 1: knot-theory-final
notebook 2: showing how to use captum to compute salience
notebook 3: is just a copy of the collab notebook from pythorch geometric that illustrated captum on graphs.