Author:Michael Rawson

Keyphrases

asynchronous-policy, automated reasoning, connection calculus, Connection tableaux, directed acyclic graph, Graph Neural Network, heuristic search, learned-guidance, Logical Entailment, Mizar, parallelism, paramodulation, proof search.