Yeah, that was my thought too. Is this system formally verifying low-level stuff like, "if neurons A and B have a connection to neuron C, and A and B both fire

Yeah, that was my thought too. Is this system formally verifying low-level stuff like, "if neurons A and B have a connection to neuron C, and A and B both fire, then..."? It seems impossible to prove high-level things like "this computer vision system will never mis-identify a cat as a dog."