semantic neural proofs cyber neural proofs with cyberlinks Linked References avatar bostrom neural proofs neuron semantics Local Graph