https://citris-uc.org/event/neural-abstractions-with-tom-white/