machine-learning spiking-neural-networks affective-computing machine-consciousness machine-cognition triz stdp neurotechnology

caffe computer-vision deep-learning keras image-recognition image-captioning machine-consciousness machine-cognition

theorem-proving verification probabilistic-programming proofs markov-logic-network theory-of-computation knowledge-representation-reasoning machine-consciousness xor-problem logical-reasoning conversationalai logical-neural-networks llms visualizing-language-learning-in-language-models