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